A constructive method for abstract algebraic software specification
Theoretical Computer Science
A systematic study of models of abstract data types
Theoretical Computer Science
Exception Handling: Formal Specification and Systematic Program Construction
IEEE Transactions on Software Engineering
Report on the Larch shared language
Science of Computer Programming
The foundations of program verification (2nd ed.)
The foundations of program verification (2nd ed.)
On observational equivalence and algebraic specification
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Initiality, induction, and computability
Algebraic methods in semantics
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM (JACM)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Iota Programming System
On the Power of Algebraic Specifications
Proceedings on Mathematical Foundations of Computer Science
Algorithmic Specifications of Abstract Data Types
Proceedings of the 8th Colloquium on Automata, Languages and Programming
On the Algebraic Extensions of Abstract Data Types
Proceedings of the International Colloquium on Formalization of Programming Concepts
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Toward a Logical Thoery of Program Data
Logic of Programs, Workshop
A constructive alternative to axiomatic data type definitions
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Implementation and applications of Scott's logic for computable functions
Proceedings of ACM conference on Proving assertions about programs
CLU REFERENCE MANUAL
On the representation of data structures in LCF with applications to program generation.
On the representation of data structures in LCF with applications to program generation.
Formalization of the control stack
ACM SIGPLAN Notices
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
| Hi-index | 0.00 |
This paper presents a new specification method for abstract data types and a pertaining logic. The specification method proposed differs from the classical algebraic one by its constructive, yet abstract nature. Although it leads to a different style in specification, the method avoids some fundamental problems inherent in the algebraic specification method. The logic proposed is essentially a first-order logic for strict (partial) functions. It allows in particular the expression of the semantic conditions guaranteeing the consistency of a specification.