Výsledky vyhledávání - Semantics of Programming Languages—Denotational semantics General Terms Languages
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Programming Languages and Systems. 32:1-70
Témata: programmation, Semantics of programming languages, Java bytecode, static analysis, abstract interpretation, termination analysis, path-length, [MATH] Mathematics [math], 02 engineering and technology, [INFO] Computer Science [cs], Verification Additional Key Words and Phrases: Abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, 0202 electrical engineering, electronic engineering, information engineering, Theory, Program Analysis General Terms: Languages, logics and meanings of programs, Java
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.univ-reunion.fr/hal-01916989v1
https://hal.univ-reunion.fr/hal-01186167v1 -
2
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Lambda calculus and related systems, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Denotational semantics General Terms Languages, Theory Keywords Denotational Semantics, Domain Theory, Full Abstraction, Nominal Sets, Symmetry
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5978; http://www.cl.cam.ac.uk/~amp12/papers/fullans/fullans.pdf
-
3
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Denotational semantics, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory, Verification Keywords Denotational Semantics, Possible World Semantics, Relational Parametricity, Impredicative Polymorphism, General References, Recursive Types
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.9349; http://www.itu.dk/people/thamsborg/longshadow.pdf
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0164-0925.
Témata: Java, termination analysis, Theory, Verification Additional Key Words and Phrases: Abstract interpretation, Java bytecode, Specifying and Verifying and Reasoning about Programs-Mechanical Verification, Semantics of Programming Languages-Denotational Semantics, Program Analysis General Terms: Languages, [INFO]Computer Science [cs], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
5
Autoři: a další
Přispěvatelé: a další
Témata: F.3.2 [Logics And Meanings Of Programs, Semantics of Programming Languages— Denotational semantics, Operational semantics, I.2.3 [Deduction and Theorem Proving, Logic programming, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods, I.2.5 [Artificial Intelligence, Programming Languages and Software General Terms, Languages, Theory Additional Key Words and Phrases, Constraints, soft constraints, semantics
Popis souboru: application/pdf
-
6
Autoři:
Přispěvatelé:
Témata: Processing—Language models, Language parsing and understanding, F.4.2 [Mathematical Logic and Formal Languages, Grammars and Other Rewriting Systems—Grammar types, Parsing, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Denotational semantics, Partial evaluation, H.2.4 [Database Management, Systems—Query processing General Terms, Languages, Human factors Additional Key Words and Phrases, Natural-language interfaces, lazy functional programming, higher-order functions, computational linguistics, Montague grammar ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.6676; http://cs.uwindsor.ca/~richard/PUBLICATIONS/NLI_LFP_SURVEY_DRAFT.pdf
-
7
Autoři:
Přispěvatelé:
Témata: General Terms Design, Standardization, Languages, Theory Keywords CLOS, Semantic Web, metacircularity, membership circu- larity, denotational semantics, extensional semantics, RDF, RDFS, OWL, OWL Full, metamodeling, meta-programming, MOP
Popis souboru: application/pdf
-
8
Autoři:
Přispěvatelé:
Témata: General Terms Design, Standardization, Languages, Theory Keywords CLOS, Semantic Web, metacircularity, membership circu- larity, denotational semantics, extensional semantics, RDF, RDFS, OWL, OWL Full, metamodeling, meta-programming, MOP
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic— Lambda calculus and related systems, F.3.3 [Theory of Computation, Studies of Program Constructs—Type structure, F.3.2 [Theory of Computation, Semantics of Programming Languages—Denotational semantics, D.1.1 [Software, Applicative (Functional) Programming General Terms, Theory, Languages Additional Key Words and Phrases, Lambda calculus, Intersection Types, Lambda Models, Completness
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.3471; http://arxiv.org/pdf/cs/0011039v1.pdf
-
10
Autoři: a další
Přispěvatelé: a další
Témata: General Terms, Design, Languages, Theory. 1 Additional Key Words and Phrases, Declarative languages, functional languages, logic variables, seman- tics, full
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.1298; http://iss.ices.utexas.edu/Publications/Papers/TOPLAS1991.pdf
-
11
Autoři: a další
Přispěvatelé: a další
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
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory-semantics, D.3.4 [Programming Languages, Processors-compilers, interpreters, opti- mization, translator writing systems, compiler generators, F.3.1 [Logics and Meanings of Pro- grams, Specifying and Verifying and Reasoning about Programs-mechanical uerification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages-denotational se- mantics General Terms, Languages, Theory Additional Key Words and Phrases, Data flow analysis, abstract interpretation, program transfor
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7408; http://www.imm.dtu.dk/~fnie/Papers/Nie85toplasF.pdf
-
13
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.3.2 [Logics and Meanings of Programs, Semantics of Program- ming Languages—Denotational semantics, F.4.1 [Mathematical Logic and Formal Languages, Mathe- matical Logic—Lambda calculus and related systems General Terms, Languages, Theory Additional Key Words and Phrases, Metaprogramming, denotational semantics, domain theory, full abstrac- tion, nominal sets, symmetry ACM Reference Format
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.9335; http://www.cl.cam.ac.uk/~amp12/papers/densns/densns.pdf
-
14
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications.
Autoři: Reps, Thomas
Zdroj: Acta Informatica; 1988, Vol. 25 Issue 2, p155-178, 24p
-
15
Autoři: LAIRD, J.
Zdroj: Journal of the ACM; Aug2013, Vol. 60 Issue 4, p1-27, 27p
-
16
Autoři:
Zdroj: Mathematical Structures in Computer Science; Sep2020, Vol. 30 Issue 8, p892-951, 60p
-
17
Autoři:
Zdroj: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p27-2746, 46p
-
18
Autoři:
Zdroj: Programming & Computer Software; May2011, Vol. 37 Issue 3, p171-179, 9p, 3 Diagrams, 2 Charts
-
19
Autoři:
Zdroj: Argument & Computation; Jun2025, Vol. 16 Issue 2, p133-150, 18p
-
20
Autoři: Frost, Richard A.
Zdroj: ACM Computing Surveys; Dec2006, Vol. 38 Issue 4, p1-54, 54p
Full Text Finder 
Nájsť tento článok vo Web of Science