Search Results - "Programming Techniques—Logic Programming"

Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases: Semantics and expressive power of nondeterministic constructs in deductive databases

Authors: GIANNOTTI, FOSCA PEDRESCHI, DINO ZANIOLO C.

Source: Journal of computer and system sciences
62 (2001): 15–42.
info:cnr-pdr/source/autori:Giannotti F.; Pedreschi D.; Zaniolo C./titolo:Semantics and expressive power of nondeterministic constructs in deductive databases/doi:/rivista:Journal of computer and system sciences (Print)/anno:2001/pagina_da:15/pagina_a:42/intervallo_pagine:15–42/volume:62

Subject Terms: nondeterminism, Datalog, first-order relational languages, Computer Networks and Communications, Databases management. Languages, Applied Mathematics, Database theory, 0102 computer and information sciences, 02 engineering and technology, Programming techniques. Logic programming, 16. Peace & justice, 01 natural sciences, expressive power, Theoretical Computer Science, Computational Theory and Mathematics, Deductive databases, operational semantics, 0202 electrical engineering, electronic engineering, information engineering, deductive databases, logic-based languages, declarative semantics, fixpoint, Logic-based languages nondeterminism

File Description: application/xml; application/pdf

Access URL: https://publications.cnr.it/doc/43951
http://www.cnr.it/prodotto/i/43951
https://dblp.uni-trier.de/db/journals/jcss/jcss62.html#GiannottiPZ01
https://www.sciencedirect.com/science/article/pii/S0022000099916999
https://core.ac.uk/display/82373825
https://hdl.handle.net/20.500.14243/43552
https://hdl.handle.net/11568/185330

A declarative language approach to device configuration

Authors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Contributors: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Source: http://www.barrelfish.org/barrelfish_asplos11.pdf.

Subject Terms: Categories and Subject Descriptors D.1.6 [Software, Programming Techniques—Logic Programming, D.4.9 [Software, Operating Systems—Systems Programs and Utilities General Terms Algorithms, Design, Languages Keywords Constraint logic programming, Eclipse CLP, Hardware programming, PCI

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511; http://www.barrelfish.org/barrelfish_asplos11.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511
http://www.barrelfish.org/barrelfish_asplos11.pdf

A Extensional Higher-Order Logic Programming

Authors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

Contributors: A. Charalambidis K. Handjopoulos P. Rondogiannis et al.

Source: http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf.

Subject Terms: Categories and Subject Descriptors, D.1.6 [Software, Programming Techniques-Logic Programming, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-Denotational Semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic-Logic and constraint programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving-Logic Programming General Terms, Design, Languages, Theory Additional Key Words and Phrases, Higher-Order Logic Programming, Denotational Semantics, Extensionality, Algebraic Lattices ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5734

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5734
http://tocl.acm.org/accepted/charalambidis-handjopoulos_extensional.pdf