Procedural specifications and implementations for abstract data types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Procedural specifications and implementations for abstract data types

Full text

Pdf (621 KB)

Source

ACM SIGPLAN Notices archive
Volume 16 , Issue 3 (March 1981) table of contents

Pages: 53 - 62

Year of Publication: 1981

ISSN:0362-1340

Authors

A. L. Furtado	Pontificia Universidade Catolica do R. J., Rio de Janeiro RJ, Brasil
P. A. S. Veloso	Pontificia Universidade Catolica do R. J., Rio de Janeiro RJ, Brasil

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/947825.947828 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	John Gannon , Paul McMullin , Richard Hamlet , Mark Ardis, Testing traversable stacks, ACM SIGPLAN Notices, v.15 n.1, p.58-65, January 1980 [doi>10.1145/954127.954132]
	2	Gaudel, M. C. - Algebraic specification of abstract data types. Res. Rept. 360, IRIA, 1979.
	3	Goguen, J. A., Thatcher, J. W., Wagner, E. G. - An initial algebra approach to the specification, correctness and implementation of abstract data types. R. T. Yeh (ed). <u>Current trends in programming methodology</u> IV, Prentice-Hall, 1978.
	4	Goguen, J., Tardo, J., Williamson, N., Zamfir, M. - A practical method for testing algebraic specifications. The UCLA Computer Sci. Dept. Quarterly - vol. 7(1), Jan. 1979.
	5	Ralph E. Griswold , David R. Hanson, An Alternative to the Use of Patterns in String Processing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.153-172, April 1980 [doi>10.1145/357094.357096]
	6	John V. Guttag , Ellis Horowitz , David R. Musser, Abstract data types and software validation, Communications of the ACM, v.21 n.12, p.1048-1064, Dec. 1978 [doi>10.1145/359657.359666]
	7	Hewitt, C. - Description and theoretical analysis (using schemata) of PLANNER. PhD thesis, MIT, 1972.
	8	Hoare, C. A. R. - Notes on data structuring. O. Dahl, E. Dijkstra, C. A. R. Hoare (eds). <u>Structured Programming</u>, Academic Press, 1972.
	9	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	10	Pequeno, T. H. C., Veloso, P. A. S. - Do not write more axioms than you have to. Proc. International Computing Symposium, 1978.
	11	Tompa, T. W. - A practical example of the specification of abstract data types. <u>Acta Informatica</u>, 13, 1980.

CITED BY 3

	A. L. Furtado, An informal approach to formal specifications, ACM SIGMOD Record, v.14 n.1, p.45-54, 1983
	A. L. Furtado, An informal approach to formal specifications, ACM SIGMOD Record, v.13 n.3, p.32-41, April 1983
	P. A. S. Veloso , A. L. Furtado, Multi-level specifications based on traces, ACM SIGSOFT Software Engineering Notes, v.8 n.1, p.17-19, January 1983

Collaborative Colleagues:

A. L. Furtado: colleagues

P. A. S. Veloso: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player