Výsledky vyhledávání - D.3.2 [Programming Languages] Language Classifications — Constraint and logic languages

Unicast and multicast QoS routing with soft-constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v2.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory Additional Key Words and Phrases, Quality of service, network routing, soft constraint logic programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831
http://arxiv.org/pdf/0704.1783v2.pdf

Unicast and multicast QoS routing with soft constraint logic programming

Autoři: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Přispěvatelé: Stefano Bistarelli Ugo Montanari Francesca Rossi a další

Zdroj: http://arxiv.org/pdf/0704.1783v3.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, C.2.3 [Computer-Communication Networks, Network Operations—Network management, F.4.1 [Mathematical Logic And Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Languages, Measurement, Theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570
http://arxiv.org/pdf/0704.1783v3.pdf

The computational power and complexity of Constraint Handling Rules

Autoři: Jon Sneyers Tom Schrijvers Bart Demoen a další

Přispěvatelé: Jon Sneyers Tom Schrijvers Bart Demoen a další

Zdroj: http://people.cs.kuleuven.be/%7Ejon.sneyers/papers/toplas-complexity.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, F.1.1 [Computation by Abstract Devices, Models of Computation, F.2.0 [Analysis of Algorithms and Problem Complexity, General, D.3.4 [Programming Languages, Processors—Compilers, optimization General Terms, Languages, Algorithms, Theory, Performance, Experimentation Additional Key Words and Phrases, Constraint Handling Rules, complexity, constant factors ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.165.3828
http://people.cs.kuleuven.be/%7Ejon.sneyers/papers/toplas-complexity.pdf

Compiling Constraint Handling Rules to Java: A Reconstruction

Autoři: Peter Van Weert The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Peter Van Weert The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW521.pdf.

Témata: Constraint Handling Rules, compilation, optimization. CR Subject Classification, D.3.2 [Programming Languages] Language Classifications — Constraint and logic languages, D.3.4 Processors — Code generation, Optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.3594; http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW521.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.3594
http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW521.pdf

ActionScript bytecode verification with co-logic programming

Autoři: Brian W. Devries Gopal Gupta Kevin W. Hamlen a další

Přispěvatelé: Brian W. Devries Gopal Gupta Kevin W. Hamlen a další

Zdroj: http://www.utdallas.edu/~kxh060100/plas09-devries.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Programming Languages, Software/Program Verification, D.4.6 [Operating Systems, Security and Protection—access controls, D.3.2 [Programming Languages, Language Classifications— constraint and logic languages General Terms Languages, Security Keywords ActionScript, Verification, Coinductive Logic Programming, Model Checking, In-lined Reference Monitoring

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.2643
http://www.utdallas.edu/~kxh060100/plas09-devries.pdf

Disambiguating aspect-oriented security policies

Autoři: Micah Jones Kevin W. Hamlen The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Micah Jones Kevin W. Hamlen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.utdallas.edu/~kxh060100/aosd10-jones.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.4.6 [Operating Systems, Security and Protection General Terms Languages, Security Keywords Aspect-oriented programming

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.967
http://www.utdallas.edu/~kxh060100/aosd10-jones.pdf

Scenic: a language for scenario specification and data generation.

Autoři: Fremont, Daniel J. Kim, Edward Dreossi, Tommaso a další

Zdroj: Machine Learning; Oct2023, Vol. 112 Issue 10, p3805-3849, 45p

Témata: PROGRAMMING languages, CYBER physical systems, AUTONOMOUS robots, DRIVERLESS cars, DEBUGGING

First Specialize Then generalize.

Autoři: Cohen, Jacques

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p34-39, 6p

Témata: LOGIC programming, PARALLEL processing, PROGRAMMING languages, COMPUTER architecture, PROLOG (Computer program language), COMPUTATIONAL linguistics, INFORMATION theory

The computational power and complexity of Constraint Handling Rules

Autoři: Jon Sneyers Tom Schrijvers Bart Demoen a další

Přispěvatelé: Jon Sneyers Tom Schrijvers Bart Demoen a další

Zdroj: http://people.cs.kuleuven.be/~jon.sneyers/papers/draft-complexity.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—constraint and logic languages, F.1.1 [Computation by Abstract Devices, Models of Computation, F.2.0 [Analysis of Algorithms and Problem Complexity, General, D.3.4 [Programming Languages, Processors—compilers, optimization General Terms, Languages, Algorithms, Theory, Performance, Experimentation Additional Key Words and Phrases, Constraint Handling Rules, complexity, constant factors

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.1107
http://people.cs.kuleuven.be/~jon.sneyers/papers/draft-complexity.pdf

Memoing for Logic Programs.

Autoři: Warren, David S.

Zdroj: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p93-111, 19p

Témata: LOGIC programming, PARALLEL programming, COMPUTER software, DECLARATIVE programming, PROGRAMMING languages, ELECTRONIC data processing

A On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Inria Rhône Alpes The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Inria Rhône Alpes The Pennsylvania State University CiteSeerX Archives

Zdroj: http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation— Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs— Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, expressiveness, language embedding, multiset rewriting systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284
http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf

On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/0804.3351v2.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709
http://arxiv.org/pdf/0804.3351v2.pdf

On the expressive power of multiple heads in CHR

Autoři: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cinzia Di Giusto Maurizio Gabbrielli The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/0804.3351v3.pdf.

Témata: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Concurrent programming structures, F.1.1 [Computation by Abstract Devices, Models of Computation—Relations between models, F.1.2 [Computation by Abstract Devices, Models of Computation—Parallelism and concurrency, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Control primitives General Terms, Languages, Theory Additional Key Words and Phrases, CHR, Language embedding, Expressiveness, Multiset Rewriting Systems

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945
http://arxiv.org/pdf/0804.3351v3.pdf

Making abstract domains condensing

Autoři: Roberto Giacobazzi Francesco Ranzato Università Di Padova a další

Přispěvatelé: Roberto Giacobazzi Francesco Ranzato Università Di Padova a další

Zdroj: http://arxiv.org/pdf/cs/0204016v1.pdf.

Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—semantics, D.3.2 [Programming Languages, Language Classifications—constraint and logic languages, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—program analysis General Terms, Languages, Theory Additional Key Words and Phrases, Abstract interpretation, abstract domain, completeness, linear logic, logic program analysis, condensation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646; http://arxiv.org/pdf/cs/0204016v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646
http://arxiv.org/pdf/cs/0204016v1.pdf

Declarative Specification and Verification of Service Choreographies.

Autoři: MONTALI, MARCO PESIC, MAJA VAN DER AALST, WIL M. P. a další

Zdroj: ACM Transactions on the Web; Jan2010, Vol. 4 Issue 1, p3-3:62, 62p, 3 Black and White Photographs, 15 Diagrams, 12 Charts, 3 Graphs

Témata: DECLARATIVE programming languages, SERVICE-oriented architecture (Computer science), SOFTWARE verification, LOGIC programming, WEB services, ARTIFICIAL intelligence, PROGRAMMING languages

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Zdroj: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Témata: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

DOI:10.1145/1389449.1389479 Model-Driven Constraint Programming

Autoři: Raphaël Chenouard Laurent Granvilliers Ricardo Soto a další

Přispěvatelé: Raphaël Chenouard Laurent Granvilliers Ricardo Soto a další

Zdroj: http://hal.archives-ouvertes.fr/docs/00/45/65/49/PDF/ppdp22-chenouard.pdf.

Témata: D.2.2 [Software Engineering, Design Tools and Techniques—User interfaces, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Constraints General Terms Languages Keywords Constraint Modeling Languages, Constraint Programming, Metamodeling, Model Transformation

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.5054
http://hal.archives-ouvertes.fr/docs/00/45/65/49/PDF/ppdp22-chenouard.pdf

Development of Domain-Specific Languages based on Generic Syntax and Functional Composition.

Autoři: Chodarev, Sergej

Zdroj: Information Sciences & Technologies: Bulletin of the ACM Slovakia; Sep2012, Vol. 4 Issue 3, p47-53, 7p

Témata: DOMAIN-specific programming languages, PROTOTYPES, STANDARDIZATION, SYNTAX in programming languages, LANGUAGE acquisition, PROGRAMMING languages

The Complexity of Homomorphism and Constraint Satisfaction Problems Seen from the Other Side.

Autoři: Grohe, Martin

Zdroj: Journal of the ACM; Mar2007, Vol. 54 Issue 1, p1-24, 24p, 2 Illustrations

Témata: HOMOMORPHISMS, CONSTRAINT satisfaction, MATHEMATICS, ARTIFICIAL intelligence, MATHEMATICAL functions

Universidade Federal de Minas Gerais

Autoři: Carlos Olarte Camilo Rueda Elaine Pimentel a další

Přispěvatelé: Carlos Olarte Camilo Rueda Elaine Pimentel a další

Zdroj: http://hal.inria.fr/docs/00/74/81/41/PDF/aeminium-ppdp-pp.pdf.

Témata: distributed, and parallel languages. General Terms Theory, Verification, Concurrency Keywords Concurrent Constraint Programming, Access Permissions, Linear Logic

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.7379
http://hal.inria.fr/docs/00/74/81/41/PDF/aeminium-ppdp-pp.pdf