Testing traversable stacks

Authors:
John Gannon;Paul McMullin;Richard Hamlet;Mark Ardis
Affiliations:
University of Maryland, College Park, Maryland;University of Maryland, College Park, Maryland;University of Maryland, College Park, Maryland;University of Maryland, College Park, Maryland
Venue:
ACM SIGPLAN Notices
Year:
1980

Citing 3
Cited 2

Traversable stack with fewer errors

ACM SIGPLAN Notices
Limits of the "algebraic" specification of abstract data types

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

ACM SIGPLAN Notices

Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Procedural specifications and implementations for abstract data types

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract