Composing programming languages by combining action-semantics modules

This article demonstrates a method for composing a programming language by combining action-semantics modules. Each module is defined separately, and then a programming-language module is defined by combining existing modules. This method enables the language designer to gradually develop a language...

Full description

Saved in:
Bibliographic Details
Published in:Science of computer programming 2003-04, Vol.47 (1), p.3-36
Main Authors: Doh, Kyung-Goo, Mosses, Peter D.
Format: Article
Language:English
Subjects:
A SF[formula omitted]S DF
Action semantics
Modularity
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This article demonstrates a method for composing a programming language by combining action-semantics modules. Each module is defined separately, and then a programming-language module is defined by combining existing modules. This method enables the language designer to gradually develop a language by defining, selecting and combining suitable modules. The resulting modular structure is substantially different from that previously employed in action-semantic descriptions. It also discusses how to resolve the conflicts that may arise when combining modules, and indicates some advantages that action semantics has over other approaches in this respect.
ISSN:0167-6423
1872-7964
DOI:10.1016/S0167-6423(02)00107-7