Access the full text.
Sign up today, get DeepDyve free for 14 days.
S. Kleene (1967)
Mathematical Logic
F. Henke (1975)
On the representation of data structures in LCF with applications to program generation.
(1980)
Proving properties of algorithmic specifications of abstract data types in AFFIRM. AFFIRM-Memo-‘LB-JL
J. Loeckx (1981)
Algorithmic Specifications of Abstract Data Types
J. Thatcher, E. Wagner, J. Wright (1982)
Data Type Specification: Parameterization and the Power of Specification TechniquesACM Trans. Program. Lang. Syst., 4
H. Klaeren (1984)
A Contructive Method for Abstract Algebraic Software SpecificationTheor. Comput. Sci., 30
C. Pair, M. Amirchahy, D. Neel (1979)
Correctness Proofs of Syntax-Directed Processing Descriptions by AttributesJ. Comput. Syst. Sci., 19
D. Musser (1980)
Abstract Data Type Specification in the Affirm SystemIEEE Transactions on Software Engineering, SE-6
M. Broy, M. Wirsing, C. Pair (1984)
A Systematic Study of Models of Abstract Data TypesTheor. Comput. Sci., 33
(1981)
Using abstract data types for the definition of programming languages and the verification of their compilers
J. Meseguer, J. Goguen (1986)
Initiality, induction, and computability
The notion of implementation in the algorithmic specification method
R. Nakajima, T. Yuasa (1983)
The IOTA Programming System, 160
R. Burstall, J. Goguen (1979)
The Semantics of CLEAR, A Specification Language
K. Futatsugi, J. Goguen, J. Jouannaud, J. Meseguer (1985)
Principles of OBJ2Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Samuel Kamin (1983)
Final Data Types and Their SpecificationACM Trans. Program. Lang. Syst., 5
(1983)
Algorithmische spezifikationen abstrakter datentypen am beispiel der strukturen aus informatik I und II
H. Reichel (1984)
Structural induction on partial algebras
B. Liskov, R. Atkinson, T. Bloom, J. Moss, Craig Schaffert, R. Scheifler, A. Snyder (1984)
CLU Reference Manual, 114
H. Ehrich (1982)
On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJ. ACM, 29
R. Milner (1972)
Implementation and applications of Scott's logic for computable functions
Robert Cartwright (1976)
A Practical Formal Semantic Definition and Verification System for TYPED LISP
N. Jones, Anders Gomard, Olivier Bondorf, Torben Danvy (1997)
’ s introduction to the Special Section on the Third International Conference on Computer Languages
(1981)
In Lecture Notes in Computer Science
(1986)
Ein Kalkiil fur algorithmische Spezifikationen. Master's thesis, FB 10
M. Oyamaguchi (1985)
On the Data Type Extension Problem for Algebraic SpecificationsTheor. Comput. Sci., 35
J. Loeckx (1985)
A formal description of the specification language OBSCURE
D. Sannella, A. Tarlecki (1985)
Program specification and development in standard MLProceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Robert Kowalski (1999)
Computational Logic, 9
M. Bidoit, B. Biebow, M. Gaudel, C. Gresse, G. Guiho (1984)
Exception Handling: Formal Specification and Systematic Program ConstructionIEEE Transactions on Software Engineering, SE-11
J. Loeckx, K. Sieber, R. Stansifer (1987)
The Foundations of Program Verification
M. Broy, M. Wirsing (1981)
On the Algebraic Extensions of Abstract Data Types
Z. Manna (1972)
Introduction to mathematical theory of computation
Robert Cartwright, J. McCarthy (1979)
First order programming logicProceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
J. Bergstra, M. Broy, J. Tucker, M. Wirsing (1981)
On the Power of Algebraic Specifications
H. Ganzinger (1983)
Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Trans. Program. Lang. Syst., 5
(1986)
Die formale Verifikation eines einfachen Ubersetzers
(1983)
Algebraische Spezifikationen
M. Shaw (1981)
Alphard: Form and Content
J. Guttag, J. Horning (1986)
Report on the Larch Shared LanguageSci. Comput. Program., 6
Martin Gogolla, K. Drosten, U. Lipeck, H. Ehrich (1984)
Algebraic and Operational Semantics of Specifications Allowing Exceptions and ErrorsTheor. Comput. Sci., 34
J. Loeckx, K. Sieber (1987)
The Foundations of Program Verification, 2nd ed
H. Ehrig, B. Mahr (1985)
Fundamentals of Algebraic Specification 1, 6
J. Guttag, E. Horowitz, D. Musser (1978)
Abstract data types and software validationCommun. ACM, 21
Robert Cartwright (1976)
User-Defined Data Types as an Aid to Verifying LISP Programs
(1984)
Partial and overloaded operators, errors, and inheritance
C. Beierle (1986)
Algebraic implementations in an integrated software development and verification system
T. Lehmann, J. Loeckx (1987)
OBSCURE : a specification environment for abstract data types
Robert Cartwright (1980)
A constructive alternative to axiomatic data type definitions
M. Wand (1979)
Final Algebra Semantics and Data Type ExtensionsJ. Comput. Syst. Sci., 19
(1985)
Behavioural correctness of data representations. Int. Rep. CSR-185-85
J. Bergstra, J. Tucker (1983)
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization TheoremsSIAM J. Comput., 12
Robert Cartwright (1981)
Toward a Logical Thoery of Program Data
R. Burstall, J. Goguen (1977)
Putting Theories Together to Make Specifications
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.
ACM Transactions on Programming Languages and Systems (TOPLAS) – Association for Computing Machinery
Published: Oct 1, 1987
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.