Algebraic Specification Method of Programming Languages
スポンサーリンク
概要
- 論文の詳細を見る
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.
- Faculty of Engineering, Mie Universityの論文
- 1986-12-20
Faculty of Engineering, Mie University | 論文
- Approximate Method of Elastic Buckling Strength Analysis for Irregular Frames
- Elastic Buckling Strength of Steel Frames Connected to Core Wall
- Calculations of Energy Shift of the Conduction Band-Edge in Doped and Compensated GaP
- Estimation of the Glass Transition Pressure of Liquids under Very High Pressure by Viscoelastic Analysis
- Information Extraction from Electronic Mail