Výsledky vyhľadávania - Language Classifications—constraint and logic languages
-
1
Autori:
Zdroj: Electronics (2079-9292); Mar2025, Vol. 14 Issue 6, p1070, 18p
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.313.3831; http://arxiv.org/pdf/0704.1783v2.pdf
-
3
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.5570; http://arxiv.org/pdf/0704.1783v3.pdf
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
6
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
7
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
8
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classification—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Constraint, cooperation, indexicals, lattice, propagation
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.5251; http://www.lcc.uma.es/~afdez/Papers/ACM_TOPLAS2004.pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.3 [Software, Programming Languages, D.3.2 [Programming Languages, Languages Classifications—Constraint and logic languages, D.3.3 [Programming Languages, Language Constructs and Features—Constraints, control structures General Terms, Design, Languages Additional Key Words and Phrases, Constraint programming, modeling languages, search, combinatorial
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.3372; http://figaro.comp.nus.edu.sg/talks/searchOPL.pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.4646; http://arxiv.org/pdf/cs/0204016v1.pdf
-
12
Autori:
Prispievatelia:
Predmety: Language Classifications—constraint and logic languages General Terms Algorithms, Languages Keywords modes, mode analysis
Popis súboru: 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
-
13
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.8284; http://sardes.inrialpes.fr/~digiusto/publications/acm10.pdf
-
14
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9709; http://arxiv.org/pdf/0804.3351v2.pdf
-
15
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.7945; http://arxiv.org/pdf/0804.3351v3.pdf
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: distributed, and parallel languages. General Terms Theory, Verification, Concurrency Keywords Concurrent Constraint Programming, Access Permissions, Linear Logic
Popis súboru: application/pdf
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
18
Autori:
Prispievatelia:
Predmety: General Terms Algorithms, Languages, Performance Keywords Abstract interpretation, Constraint Handling Rules
Popis súboru: 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
Autori: a ďalší
Zdroj: Cluster Computing; Dec2016, Vol. 19 Issue 4, p2097-2107, 11p
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science