Some extensions to algebraic specifications

Authors:
Jhon V. Guttag;Ellis Horowitz;David R. Musser
Affiliations:
USC Computer Sciences Department;USC Computer Sciences Department;USC Information Sciences Institute
Venue:
Proceedings of an ACM conference on Language design for reliable software
Year:
1977

Citing 5
Cited 13

Proving Theorems about LISP Functions

Journal of the ACM (JACM)
A technique for software module specification with examples

Communications of the ACM
Abstract data types and the development of data structures

Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The specification and application to programming of abstract data types.

The specification and application to programming of abstract data types.
Mathematical Theory of Computation

Mathematical Theory of Computation

Case studies on testing object-oriented programs

TAV4 Proceedings of the symposium on Testing, analysis, and verification
The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Verifying Security

ACM Computing Surveys (CSUR)
Abstract data types and software validation

Communications of the ACM
Invariants for specifications

ICSE '79 Proceedings of the 4th international conference on Software engineering
Data type specification: Parameterization and the power of specification techniques

STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
FAD, a functional programming language that supports abstract data types

ACM '80 Proceedings of the ACM 1980 annual conference
The evolution of specification techniques

ACM '77 Proceedings of the 1977 annual conference
A note on some limits of the algebraic specification method

ACM SIGPLAN Notices
An experimental natural-language processor for generating data type specifications

ACM SIGPLAN Notices
Some remarks on the use of abstract specifications for operating systems

ACM SIGSOFT Software Engineering Notes
Toward modular verifiable exception handling

Computer Languages
The relationship between design and verification

Journal of Systems and Software

Quantified Score

Hi-index	0.02

Visualization

Abstract

Algebraic specifications of abstract data types are beginning to gain wide currency. In this paper we discuss an extension to this specification technique which allows the specification of procedures which alter their parameters, and various ways of handling the specification of error conditions.