Výsledky vyhledávání - "Programming Techniques-Logic Programming"

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

Autoři: GIANNOTTI, FOSCA PEDRESCHI, DINO ZANIOLO C.

Zdroj: 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

Témata: 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

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: 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

Autoři: Adrian Schüpbach Andrew Baumann Timothy Roscoe a další

Přispěvatelé: Adrian Schüpbach Andrew Baumann Timothy Roscoe a další

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: A. Charalambidis K. Handjopoulos P. Rondogiannis a další

Přispěvatelé: A. Charalambidis K. Handjopoulos P. Rondogiannis a další

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

Témata: 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

Popis souboru: application/pdf

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

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