Bibliografie tematiche / Intensional programming

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni

Letteratura scientifica selezionata sul tema "Intensional programming"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 8 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Intensional programming".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

AbstractThe definition of stable models for propositional formulas with infinite conjunctions and disjunctions can be used to describe the semantics of answer set programming languages. In this note, we enhance that definition by introducing a distinction between intensional and extensional atoms. The symmetric splitting theorem for first-order formulas is then extended to infinitary formulas and used to reason about infinitary definitions.

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

The beauty of modal logics and their interest lie in their ability to represent such different intensional concepts as knowledge, time, obligation, provability in arithmetic, … according to the properties satisfied by the accessibility relations of their Kripke models (transitivity, reflexivity, symmetry, well-foundedness, …). The purpose of this paper is to study the ability of modal logics to represent the concepts of provability and unprovability in logic programming. The use of modal logic to study the semantics of logic programming with negation is defended with the help of a modal comple

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

AbstractIn this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logical treatment of aggregates. Formally, we start from the syntax of First Order Logic with equality and the semantics of Quantified Equilibrium Logic with evaluable functions (${\rm QEL}^=_{\cal F}$). Then, we proceed to incorporate a new kind of logical term,intensional set(a construct commonly used to denote the set of objects characterised by a given formula), and to extend${\rm QEL}^=_{\cal F}$semantics for

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Intensional programming"

Ahmad, Kassem Ahmad. "Programming Networks with Intensional Destinations." Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.

Testo completo

Abstract (sommario):

La programmation distribuée est une tâche difficile. Elle a énormément gagné en importance avec le développement des réseaux qui supportent un nombre croissant exponentiellement d'applications. Les systèmes distribués fournissent des fonctionnalités assurées par les noeuds qui forment un réseau et échangent des données et services, éventuellement par le biais de messages. La provenance du service n'est souvent pas pertinente, alors que sa fiabilité est essentielle. Notre objectif est de fournir un nouveau modèle de communication qui permet de spécifier intentionnellement lequel service est dem

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that are interchangeable, i.e. extensionally equal, even though they are not implemented in the same way, so intensionally distinct. Concomitant with intensionality is the phenomenon of intensional recursion, which refers to the ability of a program to have access to its own code. In computability theory, intensiona

Gli stili APA, Harvard, Vancouver, ISO e altri

Rondogiannis, Panagiotis. "Higher-order functional languages and intensional logic." Thesis, 1994. http://hdl.handle.net/1828/5960.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Ditu, Gabriel Cristian Computer Science &amp Engineering Faculty of Engineering UNSW. "The programming language TransLucid." 2007. http://handle.unsw.edu.au/1959.4/40701.

Testo completo

Abstract (sommario):

This thesis presents TransLucid, a low-level, purely declarative, intensional programming language. Built on a simple algebra and with just a small number of primitives, TransLucid programs define arbitrary dimensional infinite data structures, which are then queried to produce results. The formal foundations of TransLucid come from the work in intensional logic by Montague and Scott. The background chapters give a history of intensional logic and its predecessors in the Western world, as well as a history of intensional programming and Lucid, the first intensional programming language. The

Gli stili APA, Harvard, Vancouver, ISO e altri

Little, Richard. "Intensional Context-Free Grammar." Thesis, 2013. http://hdl.handle.net/1828/5120.

Testo completo

Abstract (sommario):

The purpose of this dissertation is to develop a new generative grammar, based on the principles of intensional logic. More specifically, the goal is to create a psychologically real grammar model for use in natural language processing. The new grammar consists of a set of context-free rewrite rules tagged with intensional versions. Most generative grammars, such as transformational grammar, lexical functional-grammar and head-driven phrase structure grammar, extend traditional context-free grammars with a mechanism for dealing with contextual information, such as subcategorization of words a

Gli stili APA, Harvard, Vancouver, ISO e altri

Jin, Xing. "Authoring tools for intensional markup." Thesis, 2006. http://hdl.handle.net/1828/1954.

Testo completo

Abstract (sommario):

Several tools have been developed for the authoring of intensional (context-sensitive) documents; for example. IHTML (Intensional HTML), IML (Intensional Markup Language). and ISE (Intensional Sequential Evaluator). However, at present, it is still very difficult to author intensional markup documents. To ease this difficulty. this thesis presents two new intensional authoring tools. IMP (Intensional Macro Processor) and ICC (Intensional C Compiler). IMP is a powerful yet easy to use macro processor embedded with a JavaScript engine. ICC in turn is an intensional extension to ANSI C. Several a

Gli stili APA, Harvard, Vancouver, ISO e altri

Hoke, Yatang. "An authoring tool for temporal intensional web pages." Thesis, 2005. http://hdl.handle.net/1828/48.

Testo completo

Abstract (sommario):

ITPerl is a web authoring tool that enables users to add temporal features to intensional web pages. ITPerl adds temporal macros to IPerl, a Perl interface to the C++ intense library. ITPerl combines temporal and default logic with intensional programming. ITPerl is an ideal solution for many time-sensitive and rapidly changing web applications. When developing a site, a user can add a temporal section to a webpage by providing different versions of it and associating each version with a time constraint. When a webpage is requested by a browser, a time point will be sent, as part of the req

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

Based on a simple non-procedural language with temporal logic operators, Lucid underlies a family of multi-dimensional programming languages based on intensional logic. Intension is a concept rooted in an aspect of natural language called "intensional context", in which the meaning of a statement (extension) depends on the context in which it is uttered (intension). The implicit temporal feature of Lucid makes it suitable for use as a means of describing dynamic systems. In the past, experiments have been performed and real applications have been developed with programs written in Lucid. Howev

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

Pure Lucid programs are concurrent with very fine granularity. Sequential Threads (STs) are functions introduced to enlarge the grain size; they are passed from server to workers by Communication Procedures (CPs) in the General Intensional Programming System (GIPSY). A JLucid program combines Java code for the STs with Lucid code for parallel control. Thus first, in this thesis, we describe the way in which the new JLucid compiler generates STs and CPs. JLucid also introduces array support. Further exploration goes through the additional transformations that the Lucid family of languages has

Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Intensional programming"

Hofmann, Martin. Extensional constructs in intensional type theory. Berlin: Springer, 1997.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Luis, Fariñas del Cerro, and Penttonen Martti 1948-, eds. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Applications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

(Editor), Manolis Gergatsoulis, and Panos Rondogiannis (Editor), eds. Intensional Programming II: Based on the Papers at Islip '99. World Scientific Publishing Company, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Abstract (sommario):

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and fr

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Intensional programming"

Gergatsoulis, Manolis, and Panos Rondogiannis. "Intensional Programming II." In 12th International Symposium. WORLD SCIENTIFIC, 2000. http://dx.doi.org/10.1142/9789814527019.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Orgun, Mehmet A., and Edward A. Ashcroft. "Intensional Programming I." In ISLIP '95. WORLD SCIENTIFIC, 1996. http://dx.doi.org/10.1142/9789814532273.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!