Programming language theory and its implementation
Programming language theory and its implementation
Issues in the design of a parallel object-oriented language
Formal Aspects of Computing
The semantics of programming languages: an elementary introduction using structural operational semantics
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Action semantics
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
A calculus of mobile processes, II
Information and Computation
Process algebra arguments about an object-based design notation
A classical mind
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Programming language pragmatics
Programming language pragmatics
Communicating sequential processes
Communications of the ACM
Semiotics and programming languages
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Communication and Concurrency
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Pi-Calculus Semantics of Object-Oriented Programming Languages
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A pi-Calculus Semantics for an Object-Based Design Notation
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
History of programming languages I
History of programming languages I
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Operational semantics: concepts and their expression
Information Processing Letters - Special issue: Contribution to computing science
Programming Language Design Concepts
Programming Language Design Concepts
History of programming languages---II
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
A Structural Proof of the Soundness of Rely/guarantee Rules
Journal of Logic and Computation
Theories of Programming Languages
Theories of Programming Languages
Teaching semantics of programming languages with modular SOS
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
| Hi-index | 0.00 |
The origins of "formal methods" lie partly in language description (although applications of methods like VDM, RAISE or B to areas other than programming languages are probably more widely known). This paper revisits the language description task but uses operational (rather than denotational) semantics to illustrate that the crucial idea is thinking about an abstract model of something that one is trying to understand or design. A "story" is told which links together some of the more important concepts in programming languages and thus illustrates how formal semantics deepens our understanding.