Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types

18Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

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. © 1987, ACM. All rights reserved.

Cite

CITATION STYLE

APA

Loeckx, J. (1987). Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Transactions on Programming Languages and Systems (TOPLAS), 9(4), 646–661. https://doi.org/10.1145/29873.30399

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free