Добірка наукової літератури з теми "Intensional programming"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Intensional programming".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Intensional programming"
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming." Journal of Algorithms 64, no. 4 (October 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Повний текст джерелаGalanaki, Chrysida, Christos Nomikos, and Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming." Annals of Pure and Applied Logic 168, no. 2 (February 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Повний текст джерелаOrgun, Mehmet A., and William W. Wadge. "Towards a unified theory of intensional logic programming." Journal of Logic Programming 13, no. 4 (August 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Повний текст джерелаMajkić, Zoran, and Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming." International Journal of Intelligent Information and Database Systems 11, no. 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Повний текст джерелаMajkić, Zoran, and Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming." International Journal of Intelligent Information and Database Systems 11, no. 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Повний текст джерелаCimiano, Philipp, Sebastian Rudolph, and Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach." Data & Knowledge Engineering 69, no. 3 (March 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Повний текст джерелаPlaice, John, Blanca Mancilla, and Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming." Mathematics in Computer Science 2, no. 1 (November 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Повний текст джерелаHARRISON, AMELIA, and VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Повний текст джерелаBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming." Fundamenta Informaticae 16, no. 3-4 (May 1, 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Повний текст джерелаCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO, and DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Повний текст джерелаДисертації з теми "Intensional programming"
Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations." Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.
Повний текст джерелаZhao, 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.
Повний текст джерелаKavvos, 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.
Повний текст джерелаRondogiannis, Panagiotis. "Higher-order functional languages and intensional logic." Thesis, 1994. http://hdl.handle.net/1828/5960.
Повний текст джерелаDitu, Gabriel Cristian Computer Science & Engineering Faculty of Engineering UNSW. "The programming language TransLucid." 2007. http://handle.unsw.edu.au/1959.4/40701.
Повний текст джерелаLittle, Richard. "Intensional Context-Free Grammar." Thesis, 2013. http://hdl.handle.net/1828/5120.
Повний текст джерелаGraduate
0984
0800
0290
rlittle@uvic.ca
Jin, Xing. "Authoring tools for intensional markup." Thesis, 2006. http://hdl.handle.net/1828/1954.
Повний текст джерелаHoke, Yatang. "An authoring tool for temporal intensional web pages." Thesis, 2005. http://hdl.handle.net/1828/48.
Повний текст джерелаLu, Bo. "Developing the distributed component of a framework for processing intensional programming languages." Thesis, 2004. http://spectrum.library.concordia.ca/7853/1/NQ90395.pdf.
Повний текст джерелаMokhov, 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.
Повний текст джерелаКниги з теми "Intensional programming"
Hofmann, Martin. Extensional constructs in intensional type theory. Berlin: Springer, 1997.
Знайти повний текст джерелаLuis, Fariñas del Cerro, and Penttonen Martti 1948-, eds. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.
Знайти повний текст джерелаApplications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.
Знайти повний текст джерелаManolis, Gergatsoulis, Rondogiannis Panos, and ISLIP '99 (1999 : Athens, Greece), eds. Intensional programming II: Based on the papers at ISLIP '99. Singapore: World Scientific, 2000.
Знайти повний текст джерела(Editor), Manolis Gergatsoulis, and Panos Rondogiannis (Editor), eds. Intensional Programming II: Based on the Papers at Islip '99. World Scientific Publishing Company, 1999.
Знайти повний текст джерелаAshcroft, E. A., A. A. Faustini, R. Jaggannathan, and W. W. Wadge. Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.001.0001.
Повний текст джерелаA, Orgun Mehmet, Ashcroft Edward A, and 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.
Знайти повний текст джерелаЧастини книг з теми "Intensional programming"
Dovier, A., E. Pontelli, and G. Rossi. "Intensional Sets in CLP." In Logic Programming, 284–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-24599-5_20.
Повний текст джерелаMuñoz-Hernández, Susana, Julio Mariño, and Juan José Moreno-Navarro. "Constructive Intensional Negation." In Functional and Logic Programming, 39–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24754-8_5.
Повний текст джерелаWeirich, Stephanie. "Encoding Intensional Type Analysis." In Programming Languages and Systems, 92–106. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45309-1_7.
Повний текст джерелаAlagar, Vasu S., Joey Paquet, and Kaiyu Wan. "Intensional Programming for Agent Communication." In Declarative Agent Languages and Technologies II, 239–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11493402_14.
Повний текст джерелаWeirich, Stephanie. "Higher-Order Intensional Type Analysis." In Programming Languages and Systems, 98–114. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45927-8_8.
Повний текст джерелаCerro, Luis Fariñas, and Andreas Herzig. "Metaprogramming through intensional deduction: Some examples." In Meta-Programming in Logic, 11–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-56282-6_2.
Повний текст джерелаCastellan, Simon, and Hugo Paquet. "Probabilistic Programming Inference via Intensional Semantics." In Programming Languages and Systems, 322–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17184-1_12.
Повний текст джерелаGalanaki, Chrysida, Christos Nomikos, and Panos Rondogiannis. "Game Semantics for Non-monotonic Intensional Logic Programming." In 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.
Повний текст джерелаAcar, Aybar C., and Amihai Motro. "Intensional Encapsulations of Database Subsets via Genetic Programming." In Lecture Notes in Computer Science, 365–74. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546924_36.
Повний текст джерелаTalcott, Carolyn. "Rum an intensional theory of function and control abstractions." In 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.
Повний текст джерелаТези доповідей конференцій з теми "Intensional programming"
Gergatsoulis, Manolis, and Panos Rondogiannis. "Intensional Programming II." In 12th International Symposium. WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789814527019.
Повний текст джерелаOrgun, Mehmet A., and Edward A. Ashcroft. "Intensional Programming I." In ISLIP '95. WORLD SCIENTIFIC, 1996. http://dx.doi.org/10.1142/9789814532273.
Повний текст джерелаWu, Aihua, Joey Paquet, and Serguei A. Mokhov. "Object-Oriented Intensional Programming: Intensional Java/Lucid Classes." In 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.29.
Повний текст джерелаBrown, Matt, and Jens Palsberg. "Typed self-evaluation via intensional type functions." In 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.
Повний текст джерелаMokhov, Serguei A., and Joey Paquet. "Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions." In 2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications. IEEE, 2010. http://dx.doi.org/10.1109/sera.2010.23.
Повний текст джерелаMatthes, Ralph. "Verification of Programs on Truly Nested Datatypes in Intensional Type Theory." In Workshop on Mathematically Structured Functional Programming (MSFP 2006). BCS Learning & Development, 2006. http://dx.doi.org/10.14236/ewic/msfp2006.10.
Повний текст джерелаMokhov, Serguei A., Joey Paquet, and Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY." In the 2009 C3S2E conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1557626.1557642.
Повний текст джерелаPaquet, Joey, Aihua Wu, and Peter Grogono. "Towards a framework for the general intensional programming compiler in the GIPSY." In Companion to the 19th annual ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1028664.1028731.
Повний текст джерела