Axiomatic semantics of communicating sequential processes
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Executable semantic descriptions
Software—Practice & Experience
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
On the algebraic definition of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to program semantics
Algebraic approaches to program semantics
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
SMoLCS-driven concurrent calculi
The International Joint Conference on theory and practice of software development on TAPSOFT '87
Program correctness over abstract data types, with error-state semantics
Program correctness over abstract data types, with error-state semantics
Predicate calculus and program semantics
Predicate calculus and program semantics
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The semantics of programming languages: an elementary introduction using structural operational semantics
The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Notions of computation and monads
Information and Computation
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Action semantics
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Turning SOS rules into equations
Information and Computation
A syntactic approach to type soundness
Information and Computation
A denotational semantics of inheritance and its correctness
Information and Computation
The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Safety analysis versus type inference
Information and Computation
The formal semantics of ISO VDM-SL
Computer Standards & Interfaces - Special issue on formal description techniques
A mathematical definition of full Prolog
Science of Computer Programming
Semantic Lego
Evolving algebras 1993: Lipari guide
Specification and validation methods
Enhanced operational semantics
ACM Computing Surveys (CSUR)
A natural semantics for Eiffel dynamic binding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of programming languages
Foundations of programming languages
Descriptive dynamic logic and its application to reflective architectures
Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Using many-sorted natural semantics to specify and generate semantic analysis
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
Full abstraction for idealized Algol with passive expressions
Theoretical Computer Science - Special issue on linear logic, 1
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
A type-theoretic interpretation of standard ML
Proof, language, and interaction
The Vienna Definition Language
ACM Computing Surveys (CSUR)
On the Development of the Algebra of Functional Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
An axiomatic basis for computer programming
Communications of the ACM
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Predicate transformer semantics of a higher-order imperative language with record subtyping
Science of Computer Programming
Algebraic Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
The Definition of Standard ML
Dynamic Logic
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Syntactic type soundness results for the region calculus
Information and Computation
Program verification based on denotation semantics
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
The Definition of Standard ML
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Composing programming languages by combining action-semantics modules
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
Modular Denotational Semantics for Compiler Construction
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
A Provably Correct Compiler Generator
ESOP '92 Proceedings of the 4th European Symposium on Programming
Hereditarily Sequential Functionals
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
An Action Semantics of Standard ML
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Theory and Practice of Action Semantics
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Extensible Denotational Language Specifications
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Towards an Algebraic Semantics for the Object Paradigm
Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification
Semantic Constructions in the Specification Language GLIDER
Selected papers from the 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop on Recent Trends in Data Type Specification
An Algebraic Semantics for the Object Specification Language TROLL light
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
ASD: The Action Semantic Description Tools
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Unified Algebras and Action Semantics
STACS '89 Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science
An ANDF Based Ada 95 Compiler System
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Algenraic Operational Semantics
Proceedings of the Seventh Conference on Foundations of Software Technology and Theoretical Computer Science
Actress: An Action Semantics Directed Compiler Generator
CC '92 Proceedings of the 4th International Conference on Compiler Construction
A New Approach to Control Flow Analysis
CC '98 Proceedings of the 7th International Conference on Compiler Construction
An Algebraic Approach to Refinement
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
Algebraic Operational Semantics and Modula-2
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Algebraic Operational Semantics and Occam
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
On the Action Semantics of Concurrent Programming Languages
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics
Proceedings of the REX Workshop on Sematics: Foundations and Applications
OASIS: An Optimizing Action-Based Compiler Generator
CC '94 Proceedings of the 5th International Conference on Compiler Construction
Algebraic Denotational Semantics Using Parameterized Abstract Modules
Proceedings of the International Colloquium on Formalization of Programming Concepts
Denotational Semantics for JSD
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Games and Full Abstraction for FPC
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Full abstraction for functional languages with control
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Fully Abstract Game Semantics for General References
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
A Fully Abstract Game Semantics for Finite Nondeterminism
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Non-Deterministic Games and Program Analysis: An Application to Security
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Experience with an experimental compiler generator based on denotational semantics
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Algebraic Semantics of Object-Oriented Data Models
TOOLS '97 Proceedings of the Technology of Object-Oriented Languages and Systems-Tools - 24
Ambiguity and reasoning
Modular monadic semantics and compilation
Modular monadic semantics and compilation
A modular monadic action semantics
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
ASMs versus natural semantics: a comparison with new insights
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Building adaptable and reusable XML applications with model transformations
WWW '05 Proceedings of the 14th international conference on World Wide Web
ACM SIGPLAN Notices
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Controlled dataflow visual programming languages
Proceedings of the 2011 Visual Information Communication - International Symposium
| Hi-index | 0.00 |
Formal semantic description is significant for design, reasoning and standardization of programming languages, and it plays an important part in the optimization of the compiler. However, compared to the amount of effort that has been made to the research of various semantic frameworks over more than forty years, their actual applications are definitely frustrating. This survey reviews the history of developments on semantic description frame-works for programming languages. It also illustrates features and actual applications of the main frameworks (including operational, deno-tational, axiomatic and hybrid semantics). In some practical aspects, such as comprehensibility, extensibility and applicability, the qualitative comparisons of these frameworks are given distinctly. It suggests that a more popular formal semantic description should behave more elegantly in readability, modularity, abstractness, comparability, reasonability, applicability and tool-support.