Testing traversable stacks

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Testing traversable stacks

Full text

Pdf (457 KB)

Source

ACM SIGPLAN Notices archive
Volume 15 , Issue 1 (January 1980) table of contents

Pages: 58 - 65

Year of Publication: 1980

ISSN:0362-1340

Authors

John Gannon	University of Maryland, College Park, Maryland
Paul McMullin	University of Maryland, College Park, Maryland
Richard Hamlet	University of Maryland, College Park, Maryland
Mark Ardis	University of Maryland, College Park, Maryland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 12, Citation Count: 2

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/954127.954132 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	{Hamlet} R. Hamlet, J. Gannon, M. Ardis, and P. McMullin. Testing Data Abstractions Through Their Implementations. Department of Computer Science, University of Maryland, TR-761, (May 1979), 37 pp.
	2	Deepak Kapur, Specifications of Majster's traversable stack and Veloso's traversable stack, ACM SIGPLAN Notices, v.14 n.5, May 1979 [doi>10.1145/988090.988096]
	3	Limits of the "algebraic" specification of abstract data types, ACM SIGPLAN Notices, v.12 n.10, p.37-42, October 1977 [doi>10.1145/954627.954630]
	4	{Majster} M. E. Majster. Letter to the Editor. SIGPLAN Notices 13, 1, (January 1978), pp. 8--10.
	5	{Majster} M. E. Majster. Letter to the Editor. SIGPLAN Notices 13, 4, (April 1978), pp. 22--23.
	6	Paulo A. S. Veloso, Traversable stack with fewer errors, ACM SIGPLAN Notices, v.14 n.2, p.55-59, February 1979 [doi>10.1145/954063.954070]

CITED BY 2

	John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981
	A. L. Furtado , P. A. S. Veloso, Procedural specifications and implementations for abstract data types, ACM SIGPLAN Notices, v.16 n.3, p.53-62, March 1981

Collaborative Colleagues:

John Gannon: colleagues

Paul McMullin: colleagues

Richard Hamlet: colleagues

Mark Ardis: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player