Abstract language design

https://doi.org/10.1016/0304-3975(90)90114-WGet rights and content
Under an Elsevier user license
open archive

Abstract

The use of formal designs of languages as language definitions is described. From such definitions more typical language definitions can be derived. Also, unlike typical language definitions, formal designs can easily be manipulated into designs for other languages for the same underlying domain. Unlike the traditional definition of a language given as a syntax and semantics, a definition by abstract design in invertible, meaning that one can use it to map evaluated meanings to terms in the language, as well as for the more usual task of mapping terms in the language to evaluated meanings.

Cited by (0)

Supported in part by the National Science Foundation under Grant number 44620922076.