Search Results - "Language Classifications—constraint and logic languages"
-
1
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0704.1783v2.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf
-
3
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0704.1783v3.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—information flow controls, D.4.6 [Oper- ating Systems, Security and Protection—access controls, D.3.4 [Programming Languages, Language Classifications—constraint and logic languages, D.3 [Programming Languages, Processors— code generation, optimization, E.1 [Data, Data Structures— arrays, lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation, E.2 [Data, Data Storage Representations—linked representations General Terms security, algorithms, languages, performance Keywords information flow, type inference, security, algorithm, time
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: Language Classifications—constraint and logic languages General Terms Algorithms, Languages Keywords modes, mode analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.2437; http://www.cs.mu.oz.au/~dmo/modes_ppdp.pdf
-
10
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646; http://arxiv.org/pdf/cs/0204016v1.pdf
-
12
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v2.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
13
Authors:
Contributors:
Source: http://arxiv.org/pdf/0804.3351v3.pdf.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
14
Authors: Grohe, Martin
Source: Journal of the ACM; Mar2007, Vol. 54 Issue 1, p1-24, 24p, 2 Illustrations
Subject Terms: HOMOMORPHISMS, CONSTRAINT satisfaction, MATHEMATICS, ARTIFICIAL intelligence, MATHEMATICAL functions
-
15
Authors: et al.
Source: International Conference on Hardware/Software Codesign & System Synthesis, 2004. CODES + ISSS 2004; 2004, p18-23, 6p
-
16
Authors: et al.
Contributors: et al.
Subject Terms: distributed, and parallel languages. General Terms Theory, Verification, Concurrency Keywords Concurrent Constraint Programming, Access Permissions, Linear Logic
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
18
Authors:
Contributors:
Subject Terms: General Terms Algorithms, Languages, Performance Keywords Abstract interpretation, Constraint Handling Rules
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.8740; http://www.cs.kuleuven.be/~dtai/publications/files/41668.ps.gz
-
19
Authors:
Source: ACM Transactions on Programming Languages & Systems; Jan2009, Vol. 31 Issue 1, p2:1-2:43, 43p, 19 Charts
-
20
Authors:
Source: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p15.1-15.30, 30p, 7 Charts
Nájsť tento článok vo Web of Science 
Full Text Finder