Procedural specifications and implementations for abstract data types

Authors:
A. L. Furtado;P. A. S. Veloso
Affiliations:
Pontificia Universidade Catolica do R. J., Rio de Janeiro RJ, Brasil;Pontificia Universidade Catolica do R. J., Rio de Janeiro RJ, Brasil
Venue:
ACM SIGPLAN Notices
Year:
1981

Citing 4
Cited 3

An Alternative to the Use of Patterns in String Processing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
Testing traversable stacks

ACM SIGPLAN Notices

An informal approach to formal specifications

ACM SIGMOD Record
An informal approach to formal specifications

ACM SIGMOD Record
Multi-level specifications based on traces

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract