Výsledky vyhľadávania - "Semantics of Programming Languages— Denotational semantics"
-
1
Autori:
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)
Prístupová URL adresa: https://arxiv.org/pdf/1709.04714
http://arxiv.org/abs/1709.04714
https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
https://arxiv.org/pdf/1709.04714
https://arxiv.org/abs/1709.04714
http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
https://arxiv.org/abs/1709.04714v1
https://cronfa.swan.ac.uk/Record/cronfa33725
https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf -
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ACM Transactions on Programming Languages and Systems. 32:1-70
Predmety: 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 súboru: application/pdf
Prístupová URL adresa: https://hal.univ-reunion.fr/hal-01916989v1
https://hal.univ-reunion.fr/hal-01186167v1 -
3
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ISSN: 0164-0925.
Predmety: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.9349; http://www.itu.dk/people/thamsborg/longshadow.pdf
-
6
Autori:
Prispievatelia:
Predmety: 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 súboru: 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
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages|denotational semantics, D.3.1 [Programming Languages, Formal Denitions and The- ory|semantics, D.3.2 [Programming Languages, Lan- The authors have been supported by the Spanish National Project TIC 2002-01167 MELODIAS
Popis súboru: application/pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.3471; http://arxiv.org/pdf/cs/0011039v1.pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
11
Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; 177-184; 177-184; 2415-3605; 2311-6382
Témy: educational process, programming language semantics, methodological system, professional education, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
-
12
Zdroj: 2415-3605; 2311-6382
Témy: educational process, programming language semantics, methodological system, professional education, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
-
13
Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; Vol. 1 No. 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184
Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка; Том 1 № 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184Predmety: семантика мови програмування, методична система, професійна освіта, 4. Education, programming language semantics, methodological system, educational process, professional education, освітній процес
Popis súboru: application/pdf
Prístupová URL adresa: http://nzp.tnpu.edu.ua/article/view/283963
-
14
Autori:
Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; Vol. 1 No. 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184 ; Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка; Том 1 № 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184 ; 2415-3605 ; 2311-6382
Predmety: educational process, programming language semantics, methodological system, professional education, освітній процес, семантика мови програмування, методична система, професійна освіта
Popis súboru: application/pdf
Relation: http://nzp.tnpu.edu.ua/article/view/283963/278144; http://nzp.tnpu.edu.ua/article/view/283963
Dostupnosť: http://nzp.tnpu.edu.ua/article/view/283963
-
15
Incremental evaluation for attribute grammars with unrestricted movement between tree modifications.
Autori: Reps, Thomas
Zdroj: Acta Informatica; 1988, Vol. 25 Issue 2, p155-178, 24p
-
16
Autori:
Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy. 1:177-184
Predmety: 4. Education
-
17
Autori:
Zdroj: The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy; Vol. 1 No. 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184 ; Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка; Том 1 № 1 (2023): Наукові записки Тернопільського національного педагогічного університету імені Володимира Гнатюка. Серія: педагогіка.; 177-184 ; 2415-3605 ; 2311-6382
Predmety: освітній процес, семантика мови програмування, методична система, професійна освіта, educational process, programming language semantics, methodological system, professional education
Popis súboru: application/pdf
Relation: http://nzp.tnpu.edu.ua/article/view/283963/278144; http://nzp.tnpu.edu.ua/article/view/283963
Dostupnosť: http://nzp.tnpu.edu.ua/article/view/283963
-
18
Autori:
Zdroj: Journal of the ACM; Jul2014, Vol. 61 Issue 4, p27-2746, 46p
-
19
Autori:
Témy: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, text
-
20
Autori:
Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p44-56, 13p
Full Text Finder 
Nájsť tento článok vo Web of Science