On the adequacy of finite equational methods for data type specification

Authors:
J. A. Bergstra;J. V. Tucker
Affiliations:
University of Leiden, Leiden, The Netherlands;Mathematical Centre, Amsterdam, The Netherlands
Venue:
ACM SIGPLAN Notices
Year:
1979

Citing 4
Cited 1

Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3

Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3
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

Adding Data Abstraction to Fortran Software

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract