A note on some limits of the algebraic specification method

Authors:
Douglas W. Jones
Affiliations:
University of Illinois, Urbana, Illinois
Venue:
ACM SIGPLAN Notices
Year:
1978

Citing 4
Cited 2

Abstract data types and the development of data structures

Communications of the ACM
A Theory of Programming Language Semantics

A Theory of Programming Language Semantics
Some extensions to algebraic specifications

Proceedings of an ACM conference on Language design for reliable software
Limits of the "algebraic" specification of abstract data types

ACM SIGPLAN Notices

Some definitions for algebraic data type specifications

ACM SIGPLAN Notices
Specifications of Majster's traversable stack and Veloso's traversable stack

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

If the algebraic method for the specification of abstract data types and programming languages is to be of general utility, it must be possible to define any data type along with the operations on it. An algebraic definition for a data type previously posed as being undefinable by that method is presented, and questions about the utility of the result are considered.