论文信息 - Algebraic Techniques for Program Specification

Algebraic Techniques for Program Specification

Algebraic methods are presented that allow the specification of the functional behaviour of software systems together with certain constraints on admissible implementations. For the definition of basic objects and operations we employ “algebraic types”; concurrency is added by “streams” and stream-processing functions.

Peter Pepper | P. Pepper

[1] Friedrich L. Bauer,et al. Algorithmic Language and Program Development , 1982, Texts and Monographs in Computer Science.

[2] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[3] Joseph A. Goguen,et al. Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[4] Jeffrey D. Ullman,et al. Principles of Database Systems , 1980 .

[5] Hans-Dieter Ehrich. On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[6] Manfred Broy,et al. Algebraic Methods for Program Construction: The Project CIP , 1984 .

[7] Peter Pepper,et al. Inferential Techniques for Program Development , 1984 .

[8] Helmuth Partsch,et al. Abstract Data Types as a Tool for Requirement Engineering , 1983, Requirements Engineering.