论文信息 - Report on the Larch Shared Language Version 2.3 - 字舞流文

Report on the Larch Shared Language Version 2.3

James J. Horning | John V. Guttag | J. Horning | J. Guttag

[1] Michel Bidoit,et al. The Stratified Loose Approach: A Generalization of Initial and Loose Semantics , 1988, ADT.

[2] Olaf Owe,et al. Preliminary Report on the Specification and Programming Language Abel , 1987 .

[3] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[4] Donald Sannella,et al. On Observational Equivalence and Algebraic Specification , 1985, TAPSOFT, Vol.1.

[5] Mitchell Wand,et al. Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..