Gotowa bibliografia na temat „Intensional programming”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Intensional programming”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Intensional programming"
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming". Journal of Algorithms 64, nr 4 (październik 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Pełny tekst źródłaGalanaki, Chrysida, Christos Nomikos i Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming". Annals of Pure and Applied Logic 168, nr 2 (luty 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Pełny tekst źródłaOrgun, Mehmet A., i William W. Wadge. "Towards a unified theory of intensional logic programming". Journal of Logic Programming 13, nr 4 (sierpień 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Pełny tekst źródłaMajkić, Zoran, i Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, nr 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Pełny tekst źródłaMajkić, Zoran, i Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, nr 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Pełny tekst źródłaCimiano, Philipp, Sebastian Rudolph i Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach". Data & Knowledge Engineering 69, nr 3 (marzec 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Pełny tekst źródłaPlaice, John, Blanca Mancilla i Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming". Mathematics in Computer Science 2, nr 1 (listopad 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Pełny tekst źródłaHARRISON, AMELIA, i VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms". Theory and Practice of Logic Programming 16, nr 5-6 (wrzesień 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Pełny tekst źródłaBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, nr 3-4 (1.05.1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Pełny tekst źródłaCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO i DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates". Theory and Practice of Logic Programming 18, nr 3-4 (lipiec 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Pełny tekst źródłaRozprawy doktorskie na temat "Intensional programming"
Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations". Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.
Pełny tekst źródłaZhao, Qin. "Implementation of an object-oriented intensional programming system". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ35547.pdf.
Pełny tekst źródłaKavvos, Georgios Alexandros. "On the semantics of intensionality and intensional recursion". Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:f89b46d8-b514-42fd-9321-e2803452681f.
Pełny tekst źródłaRondogiannis, Panagiotis. "Higher-order functional languages and intensional logic". Thesis, 1994. http://hdl.handle.net/1828/5960.
Pełny tekst źródłaDitu, Gabriel Cristian Computer Science & Engineering Faculty of Engineering UNSW. "The programming language TransLucid". 2007. http://handle.unsw.edu.au/1959.4/40701.
Pełny tekst źródłaLittle, Richard. "Intensional Context-Free Grammar". Thesis, 2013. http://hdl.handle.net/1828/5120.
Pełny tekst źródłaGraduate
0984
0800
0290
rlittle@uvic.ca
Jin, Xing. "Authoring tools for intensional markup". Thesis, 2006. http://hdl.handle.net/1828/1954.
Pełny tekst źródłaHoke, Yatang. "An authoring tool for temporal intensional web pages". Thesis, 2005. http://hdl.handle.net/1828/48.
Pełny tekst źródłaLu, Bo. "Developing the distributed component of a framework for processing intensional programming languages". Thesis, 2004. http://spectrum.library.concordia.ca/7853/1/NQ90395.pdf.
Pełny tekst źródłaMokhov, Serguei A. "Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY". Thesis, 2005. http://spectrum.library.concordia.ca/6439/1/0907.2640v3.pdf.
Pełny tekst źródłaKsiążki na temat "Intensional programming"
Hofmann, Martin. Extensional constructs in intensional type theory. Berlin: Springer, 1997.
Znajdź pełny tekst źródłaLuis, Fariñas del Cerro, i Penttonen Martti 1948-, red. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.
Znajdź pełny tekst źródłaApplications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.
Znajdź pełny tekst źródłaManolis, Gergatsoulis, Rondogiannis Panos i ISLIP '99 (1999 : Athens, Greece), red. Intensional programming II: Based on the papers at ISLIP '99. Singapore: World Scientific, 2000.
Znajdź pełny tekst źródła(Editor), Manolis Gergatsoulis, i Panos Rondogiannis (Editor), red. Intensional Programming II: Based on the Papers at Islip '99. World Scientific Publishing Company, 1999.
Znajdź pełny tekst źródłaAshcroft, E. A., A. A. Faustini, R. Jaggannathan i W. W. Wadge. Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.001.0001.
Pełny tekst źródłaA, Orgun Mehmet, Ashcroft Edward A i ISLIP '95 (1995 : Macquarie University), red. Intensional programming I: Based on the papers at ISLIP '95, Macquarie University, Sydney, NSW, Australia, 3-5 May 1995. Singapore: World Scientific, 1996.
Znajdź pełny tekst źródłaCzęści książek na temat "Intensional programming"
Dovier, A., E. Pontelli i G. Rossi. "Intensional Sets in CLP". W Logic Programming, 284–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24599-5_20.
Pełny tekst źródłaMuñoz-Hernández, Susana, Julio Mariño i Juan José Moreno-Navarro. "Constructive Intensional Negation". W Functional and Logic Programming, 39–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24754-8_5.
Pełny tekst źródłaWeirich, Stephanie. "Encoding Intensional Type Analysis". W Programming Languages and Systems, 92–106. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45309-1_7.
Pełny tekst źródłaAlagar, Vasu S., Joey Paquet i Kaiyu Wan. "Intensional Programming for Agent Communication". W Declarative Agent Languages and Technologies II, 239–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11493402_14.
Pełny tekst źródłaWeirich, Stephanie. "Higher-Order Intensional Type Analysis". W Programming Languages and Systems, 98–114. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45927-8_8.
Pełny tekst źródłaCerro, Luis Fariñas, i Andreas Herzig. "Metaprogramming through intensional deduction: Some examples". W Meta-Programming in Logic, 11–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_2.
Pełny tekst źródłaCastellan, Simon, i Hugo Paquet. "Probabilistic Programming Inference via Intensional Semantics". W Programming Languages and Systems, 322–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17184-1_12.
Pełny tekst źródłaGalanaki, Chrysida, Christos Nomikos i Panos Rondogiannis. "Game Semantics for Non-monotonic Intensional Logic Programming". W Logic Programming and Nonmonotonic Reasoning, 329–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40564-8_33.
Pełny tekst źródłaAcar, Aybar C., i Amihai Motro. "Intensional Encapsulations of Database Subsets via Genetic Programming". W Lecture Notes in Computer Science, 365–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546924_36.
Pełny tekst źródłaTalcott, Carolyn. "Rum an intensional theory of function and control abstractions". W Foundations of Logic and Functional Programming, 1–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/3-540-19129-1_1.
Pełny tekst źródłaStreszczenia konferencji na temat "Intensional programming"
Gergatsoulis, Manolis, i Panos Rondogiannis. "Intensional Programming II". W 12th International Symposium. WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789814527019.
Pełny tekst źródłaOrgun, Mehmet A., i Edward A. Ashcroft. "Intensional Programming I". W ISLIP '95. WORLD SCIENTIFIC, 1996. http://dx.doi.org/10.1142/9789814532273.
Pełny tekst źródłaWu, Aihua, Joey Paquet i Serguei A. Mokhov. "Object-Oriented Intensional Programming: Intensional Java/Lucid Classes". W 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.29.
Pełny tekst źródłaBrown, Matt, i Jens Palsberg. "Typed self-evaluation via intensional type functions". W POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3009837.3009853.
Pełny tekst źródłaMokhov, Serguei A., i Joey Paquet. "Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions". W 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.23.
Pełny tekst źródłaMatthes, Ralph. "Verification of Programs on Truly Nested Datatypes in Intensional Type Theory". W Workshop on Mathematically Structured Functional Programming (MSFP 2006). BCS Learning & Development, 2006. http://dx.doi.org/10.14236/ewic/msfp2006.10.
Pełny tekst źródłaMokhov, Serguei A., Joey Paquet i Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY". W the 2009 C3S2E conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1557626.1557642.
Pełny tekst źródłaPaquet, Joey, Aihua Wu i Peter Grogono. "Towards a framework for the general intensional programming compiler in the GIPSY". W Companion to the 19th annual ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1028664.1028731.
Pełny tekst źródła