Operational semantics: Concepts and their expression

One of the earliest approaches to giving formal semantics for programming languages was operational semantics. Enthusiasm for this approach has waxed and waned. The main objective of this paper is to tease apart some concepts involved in writing such operational descriptions and to discuss useful no...

Full description

Saved in:
Bibliographic Details
Published inInformation processing letters Vol. 88; no. 1; pp. 27 - 32
Main Author Jones, Cliff B.
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 17.10.2003
Elsevier Science
Elsevier Sequoia S.A
Subjects
Applied sciences
Computer science
Computer science; control theory; systems
Exact sciences and technology
Formal semantics
Language theory and syntactical analysis
Operational semantics
Programming languages
Semantics
Software
Software engineering
Studies
Theoretical computing
Operational semantics
Formal semantics
Programming languages
Formal language
Programming language
Information processing
Online AccessGet full text

Cover

More Information
Summary:One of the earliest approaches to giving formal semantics for programming languages was operational semantics. Enthusiasm for this approach has waxed and waned. The main objective of this paper is to tease apart some concepts involved in writing such operational descriptions and to discuss useful notations.
ISSN:0020-0190
1872-6119
DOI:10.1016/S0020-0190(03)00383-1