Výsledky vyhledávání - "Semantics of Programming Languages|Operational Semantics"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Témata: Program analysis General Terms Languages, Verification Keywords Operational Semantics, Operational Semantics, Static Analysis, Android, dalvik bytecode, static analysis, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, 0202 electrical engineering, electronic engineering, information engineering, Dalvik, Theory, 10. No inequality, Static Anal-ysis
Popis souboru: application/pdf
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014 ; https://hal.univ-reunion.fr/hal-01451693 ; ACM SIGPLAN 2014 workshop on Partial Evaluation and Program Manipulation, PEPM 2014, Jan 2014, San Diego, United States. pp.121-132
Témata: Android, Operational Semantics, Static Analysis, F31 [Logics and Mean-ings of Programs]: Specifying and Verifying and Reasoning about Programs-Mechanical Verification, F32 [Logics and Meanings of Programs]: Semantics of Programming Languages-Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Operational Semantics, Dalvik, Static Anal-ysis, [INFO]Computer Science [cs]
Geografické téma: San Diego, United States
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-00700635 ; Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩ ; http://www.lmcs-online.org/
Témata: session types, object-oriented calculus, Non-uniform method availability, typestate, D.3.3 [Language Constructs and Features]: Classes and objects, D.3.1 [Formal Definitions and Theory], F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: Type structure, D.1.5, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1205.5344; ARXIV: 1205.5344
-
4
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory, F.3.1 [Logics and Mean- ings of Programs, Specifying and Verifying and Reasoning about Programs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, Denotational semantics, Program analysis. General Terms Languages, Security, Theory, Verification Keywords Coq proof assistant, differential privacy, relational Hoare logic
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.4413; http://software.imdea.org/%7Ebkoepf/papers/popl12.pdf
-
5
Autoři:
Přispěvatelé:
Témata: Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq
Popis souboru: application/pdf
-
6
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.1 [Programming languages, Formal Definition and Theory—Synax, Semantics, D.1.3 [Programming Techniques, Concurrent Programming— Distributed programming, F.3.2 [Meanings of Programs, Semantics of Programming Languages—Operational semantics General Terms, Languages, Theory Additional Key Words and Phrases, Mobile agents, distributed systems, bisimulation
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.519; http://www.informatics.sussex.ac.uk/users/matthewh/pubs/toplas2005.pdf
-
7
Autoři:
Přispěvatelé:
Témata: 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 souboru: 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
-
8
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.1 [PROGRAMMING TECHNIQUES, Applicative (Functional) Programming, D.3.1 [PROGRAMMING LANGUAGES, Formal Definitions and Theory, D.3.4 [PROGRAMMING LANGUAGES, Processors, F.3.2 [LOGICS AND MEANINGS OF PROGRAMS, Semantics of Programming Languages—Operational semantics, I.2.2 [ARTIFICIAL INTELLIGENCE, Automatic Programming—Program Transformation, Program Synthesis General Terms, Design, Languages, Theory Additional Key Words and Phrases, Binding-time Analysis, Program Specialization, Regions 1 Work performed while at the Universität Freiburg, Germany
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: https://ens-lyon.hal.science/ensl-00681296 ; 2012.
Témata: F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: T, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1203.4754; ARXIV: 1203.4754
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://ens-lyon.hal.science/ensl-00651985 ; 2011.
Témata: sequent calculus, resource control, intersection types, strong normalisation, lambda calculus, F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs]: T, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1112.3455; ARXIV: 1112.3455
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: ICTAC 2011 ; Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium ; https://ens-lyon.hal.science/ensl-00654755 ; Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Aug 2011, Johannesburg, South Africa. pp.116-134
Témata: lambda calculus, sequent calculus, resource control, intersection types, strong normalisation, F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Johannesburg, South Africa
Dostupnost: https://ens-lyon.hal.science/ensl-00654755
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: TbiLLC 2009 ; Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation ; https://ens-lyon.hal.science/ensl-00654762 ; Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, Sep 2009, Bakuriani, Georgia. pp.101-124
Témata: F.4.1 [Mathematical Logic]: Lambda calculus and related systems, F.3.1 [Specifying and Verifying and Reasoning about Programs]: Logics of programs, F.3.2 [Semantics of Programming Languages]: Operational semantics, F.3.3 [Studies of Program Constructs], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Dostupnost: https://ens-lyon.hal.science/ensl-00654762
-
13
Autoři:
Přispěvatelé:
Témata: Programs, Semantics of Programming Languages | Operational Semantics General Terms, Languages Additional Key Words and Phrases, Functional Languages, Parallelism
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.5638; http://iss.cs.cornell.edu/Publications/Papers/TOPLAS1989.pdf
-
14
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Compilers, optimization, F.3.1 [Logics and Meanings of Programs, Specifying, Verifying and Reasoning about Programs—Logics of programs, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords partial redundancy elimination, soundness and improvement of
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.9452; http://cs.ioc.ee/~ando/publications/pepm08.pdf
-
15
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verifica- tion—formal methods, F.1.1 [Computation by Abstract Devices, Models of Computation— automata, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages— operational semantics, process models General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Process algebras, value passing, symbolic semantics
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.7579; http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf
-
16
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, Program analysis General Terms Languages, Theory, Verification Keywords Orc, rewriting logic, structural operational semantics, real-time, orchestration theory, formal analysis
Popis souboru: application/pdf
-
17
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation—Bounded-action devices, F.3.1 [Logics and Meanings of Programs, Specify- ing and Verifying and Reasoning about Programs—Specification Techniques, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Operational semantics, I.6.1 [Computing Methodologies, Simulation and Modeling—Simulation Theory General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, abstract state machines, interactive algorithms, sequential algorithms, small-step algorithms
Popis souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Denitions and Theory|Semantics, Syntax, D.3.4 [Programming Languages, Processors|Compilers, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages|Operational Semantics, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs|Type Structure General Terms, Languages, Theory, Verication Additional Key Words and Phrases, Certied code, region-based memory management, type- directed compilation, typed intermediate languages
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.5862; http://www.cs.cmu.edu/~crary/papers/2000/regions/capabilities.pdf
-
19
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.4.1 [Operating Systems, Process Management—dead[ocks, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—operational semantics General Terms, Languages, Theory
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science