Výsledky vyhledávání - Semantics of Programming Languages—operational semantics General Terms
-
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:
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
-
3
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
-
4
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
-
5
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
-
6
Autoři:
Zdroj: Higher-Order & Symbolic Computation; Mar2011, Vol. 24 Issue 1/2, p41-80, 40p
-
7
-
8
Autoři: I. Anureev
Zdroj: Programming & Computer Software; Jan2009, Vol. 35 Issue 1, p35-42, 8p
-
9
Autoři: a další
Přispěvatelé: a další
Témata: AspectJ
Popis souboru: application/pdf
-
10
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
-
11
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
-
12
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
-
13
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
-
14
Autoři:
Přispěvatelé:
Témata: General Terms, Languages, Theory Additional Key Words and Phrases, Priority, real-time programming, Ada, occam, Communicating Sequential Processes
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7915; http://sky.fit.qut.edu.au/~fidgec/Publications/fidge93b.pdf
-
15
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/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, 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
-
18
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
-
19
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
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder