The purpose of formal specification of programming languages are to establish the mathematical foundation for specification and verification of programs, proof of compiler correctness and automatic compiler generation. We propose a purely algebraic approach to develop a new algebraic specification method of programming languages. In this paper, the syntactic and semantic domains are considered as algebras, i.e., abstract data types, and the semantics of the language is given by a mapping from the syntactic domain to the semantic one. As an illustrative example, we describe a very simple language by our method.
雑誌名
Research reports of the Faculty of Engineering, Mie University