@article{oai:mie-u.repo.nii.ac.jp:00004848,
 author = {Kita, Hidehiko and 北, 英彦 and Sakabe, Toshiki and 坂部, 俊樹 and Inagaki, Yasuyoshi and 稲垣, 康善},
 journal = {Research reports of the Faculty of Engineering, Mie University},
 month = {Dec},
 note = {application/pdf, 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.},
 pages = {43--54},
 title = {Algebraic Specification Method of Programming Languages},
 volume = {11},
 year = {1986}
}