Structuring and Derivation in Algebraic Specification/Programming Language Systems

概要

論文の詳細を見る
We have designed, implemented, and experimented with two language systems based on algebraic specification techniques: HISP [4, 5], and OBJ2 [3,7]. One of the main purposes of HISP and OBJ2 is to support the so-called upstream software development process in a rigid and formalized fashion; for example, in the interactive development of formal specifications. We have experimented with these two language systems the writing of several kinds of small to medium-size software specification. In this paper, we review our experiences with these two language systems and envision desired features of future algebraic specification and / or programming language systems. The review will be done through analyses of the following two important technical issues: . structuring of specifications and / or programs . interactive derivations of specifications and / or programs with structure.
一般社団法人情報処理学会の論文
1991-07-31