Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11 / Issue 7

available in:   HTML (46 kB) PDF (145 kB) PS (128 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-011-07-1117


A Constructive Approach to Language Definition

Peter D. Mosses (Swansea University, United Kingdom)

Abstract: Most approaches to formal semantics are based on the assumption that all the constructs of a language are defined together. The details of the definition of each construct can (and usually do) depend on which other constructs are included in the given language. This limits reuse of definitions of common constructs.

With the more constructive approach proposed here, the semantics of each basic abstract programming construct is defined separately and independently. The semantics of a full language is obtained by translating its constructs into the basic abstract constructs, whose definitions are thus reused verbatim.

The frameworks of Modular SOS and Action Semantics can both be used in conjunction with the proposed approach. Some illustrations are given.

Keywords: action semantics, modularity, semantics of programming languages, structural operational semantics

Categories: D.3.1, D.3.3, F.3.2, F.3.3