Literatura académica sobre el tema "Intensional programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Intensional programming".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Intensional programming"
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming". Journal of Algorithms 64, n.º 4 (octubre de 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Texto completoGalanaki, Chrysida, Christos Nomikos y Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming". Annals of Pure and Applied Logic 168, n.º 2 (febrero de 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Texto completoOrgun, Mehmet A. y William W. Wadge. "Towards a unified theory of intensional logic programming". Journal of Logic Programming 13, n.º 4 (agosto de 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Texto completoMajkić, Zoran y Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, n.º 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Texto completoMajkić, Zoran y Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, n.º 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Texto completoCimiano, Philipp, Sebastian Rudolph y Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach". Data & Knowledge Engineering 69, n.º 3 (marzo de 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Texto completoPlaice, John, Blanca Mancilla y Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming". Mathematics in Computer Science 2, n.º 1 (noviembre de 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Texto completoHARRISON, AMELIA y VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms". Theory and Practice of Logic Programming 16, n.º 5-6 (septiembre de 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Texto completoBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, n.º 3-4 (1 de mayo de 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Texto completoCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO y DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Texto completoTesis sobre el tema "Intensional programming"
Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations". Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.
Texto completoZhao, 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.
Texto completoKavvos, 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.
Texto completoRondogiannis, Panagiotis. "Higher-order functional languages and intensional logic". Thesis, 1994. http://hdl.handle.net/1828/5960.
Texto completoDitu, Gabriel Cristian Computer Science & Engineering Faculty of Engineering UNSW. "The programming language TransLucid". 2007. http://handle.unsw.edu.au/1959.4/40701.
Texto completoLittle, Richard. "Intensional Context-Free Grammar". Thesis, 2013. http://hdl.handle.net/1828/5120.
Texto completoGraduate
0984
0800
0290
rlittle@uvic.ca
Jin, Xing. "Authoring tools for intensional markup". Thesis, 2006. http://hdl.handle.net/1828/1954.
Texto completoHoke, Yatang. "An authoring tool for temporal intensional web pages". Thesis, 2005. http://hdl.handle.net/1828/48.
Texto completoLu, Bo. "Developing the distributed component of a framework for processing intensional programming languages". Thesis, 2004. http://spectrum.library.concordia.ca/7853/1/NQ90395.pdf.
Texto completoMokhov, 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.
Texto completoLibros sobre el tema "Intensional programming"
Hofmann, Martin. Extensional constructs in intensional type theory. Berlin: Springer, 1997.
Buscar texto completoLuis, Fariñas del Cerro y Penttonen Martti 1948-, eds. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.
Buscar texto completoApplications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.
Buscar texto completoManolis, Gergatsoulis, Rondogiannis Panos y ISLIP '99 (1999 : Athens, Greece), eds. Intensional programming II: Based on the papers at ISLIP '99. Singapore: World Scientific, 2000.
Buscar texto completo(Editor), Manolis Gergatsoulis y Panos Rondogiannis (Editor), eds. Intensional Programming II: Based on the Papers at Islip '99. World Scientific Publishing Company, 1999.
Buscar texto completoAshcroft, E. A., A. A. Faustini, R. Jaggannathan y W. W. Wadge. Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.001.0001.
Texto completoA, Orgun Mehmet, Ashcroft Edward A y ISLIP '95 (1995 : Macquarie University), eds. Intensional programming I: Based on the papers at ISLIP '95, Macquarie University, Sydney, NSW, Australia, 3-5 May 1995. Singapore: World Scientific, 1996.
Buscar texto completoCapítulos de libros sobre el tema "Intensional programming"
Dovier, A., E. Pontelli y G. Rossi. "Intensional Sets in CLP". En Logic Programming, 284–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24599-5_20.
Texto completoMuñoz-Hernández, Susana, Julio Mariño y Juan José Moreno-Navarro. "Constructive Intensional Negation". En Functional and Logic Programming, 39–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24754-8_5.
Texto completoWeirich, Stephanie. "Encoding Intensional Type Analysis". En Programming Languages and Systems, 92–106. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45309-1_7.
Texto completoAlagar, Vasu S., Joey Paquet y Kaiyu Wan. "Intensional Programming for Agent Communication". En Declarative Agent Languages and Technologies II, 239–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11493402_14.
Texto completoWeirich, Stephanie. "Higher-Order Intensional Type Analysis". En Programming Languages and Systems, 98–114. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45927-8_8.
Texto completoCerro, Luis Fariñas y Andreas Herzig. "Metaprogramming through intensional deduction: Some examples". En Meta-Programming in Logic, 11–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_2.
Texto completoCastellan, Simon y Hugo Paquet. "Probabilistic Programming Inference via Intensional Semantics". En Programming Languages and Systems, 322–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17184-1_12.
Texto completoGalanaki, Chrysida, Christos Nomikos y Panos Rondogiannis. "Game Semantics for Non-monotonic Intensional Logic Programming". En 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.
Texto completoAcar, Aybar C. y Amihai Motro. "Intensional Encapsulations of Database Subsets via Genetic Programming". En Lecture Notes in Computer Science, 365–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546924_36.
Texto completoTalcott, Carolyn. "Rum an intensional theory of function and control abstractions". En 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.
Texto completoActas de conferencias sobre el tema "Intensional programming"
Gergatsoulis, Manolis y Panos Rondogiannis. "Intensional Programming II". En 12th International Symposium. WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789814527019.
Texto completoOrgun, Mehmet A. y Edward A. Ashcroft. "Intensional Programming I". En ISLIP '95. WORLD SCIENTIFIC, 1996. http://dx.doi.org/10.1142/9789814532273.
Texto completoWu, Aihua, Joey Paquet y Serguei A. Mokhov. "Object-Oriented Intensional Programming: Intensional Java/Lucid Classes". En 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.29.
Texto completoBrown, Matt y Jens Palsberg. "Typed self-evaluation via intensional type functions". En 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.
Texto completoMokhov, Serguei A. y Joey Paquet. "Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions". En 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.23.
Texto completoMatthes, Ralph. "Verification of Programs on Truly Nested Datatypes in Intensional Type Theory". En Workshop on Mathematically Structured Functional Programming (MSFP 2006). BCS Learning & Development, 2006. http://dx.doi.org/10.14236/ewic/msfp2006.10.
Texto completoMokhov, Serguei A., Joey Paquet y Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY". En the 2009 C3S2E conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1557626.1557642.
Texto completoPaquet, Joey, Aihua Wu y Peter Grogono. "Towards a framework for the general intensional programming compiler in the GIPSY". En Companion to the 19th annual ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1028664.1028731.
Texto completo