论文信息 - Observability Concepts in Abstract Data Type Specifications - 字舞流文

Observability Concepts in Abstract Data Type Specifications

Ugo Montanari | V. Giarratana | F. Gimona | U. Montanari | V. Giarratana | F. Gimona

[1] B. H. Liskov,et al. Specification techniques for data abstractions , 1975, IEEE Transactions on Software Engineering.

[2] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .

[3] Joseph A. Goguen,et al. Initial Algebra Semantics , 1974, SWAT.

[4] james w.thatcher,et al. tree automata: an informal survey , 1974 .

[5] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.

[6] Edward J. McCluskey,et al. Introduction to the theory of switching circuits , 1965 .