Search Results - Semantics of Programming Languages—Operational semantics*
-
1
Authors: et al.
Contributors: et al.
Source: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. :121-132
Subject Terms: 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
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: San Diego, United States
-
3
Authors:
Source: International Journal on Software Tools for Technology Transfer. Nov2018, Vol. 20 Issue 6, p739-769. 31p.
-
4
-
5
Authors: MLNAŘÍK, HYNEK1 hmlnarik@mail.muni.cz
Source: International Journal of Quantum Information. Jul2008 Supplement 1, Vol. 6, p733-738. 6p. 2 Diagrams.
Subject Terms: *PROGRAMMING languages, *QUANTUM teleportation, *QUANTUM theory, *SEMANTICS, *QUANTUM communication
-
6
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Authors:
Contributors:
Subject Terms: General Terms, Languages, Theory Additional Key Words and Phrases, Priority, real-time programming, Ada, occam, Communicating Sequential Processes
File Description: 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
-
8
Authors: et al.
Contributors: et al.
Subject Terms: General Terms Languages, Theory Keywords immutability
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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
-
10
Authors:
Source: ACM Computing Surveys. Jun96, Vol. 28 Issue 2, p352-354. 3p.
-
11
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.4413; http://software.imdea.org/%7Ebkoepf/papers/popl12.pdf
-
14
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
15
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
16
Authors: SIMPSON, ALEX
Source: Journal of Functional Programming. May2007, Vol. 17 Issue 3, p424-426. 3p.
Subject Terms: *SMIL (Document markup language), *MULTIMEDIA systems, *COMPUTER-generated imagery, *XHTML (Document markup language)
Reviews & Products: PROGRAMMING Languages & Operational Semantics (Book)
People: FERNANDEZ, Maribel
-
17
Authors: et al.
Contributors: et al.
Source: https://ens-lyon.hal.science/ensl-00681296 ; 2012.
Subject Terms: 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
-
18
Authors: et al.
Contributors: et al.
Source: https://ens-lyon.hal.science/ensl-00651985 ; 2011.
Subject Terms: 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
-
19
Authors: I. Anureev
Source: Programming & Computer Software; Jan2009, Vol. 35 Issue 1, p35-42, 8p
Subject Terms: PROGRAMMING languages, TECHNICAL specifications, COMPUTER software, SEMANTICS
-
20
Authors:
Contributors:
Subject Terms: 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
File Description: 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
Nájsť tento článok vo Web of Science
Full Text Finder