Reusable Ada libraries supporting infinite data structures

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reusable Ada libraries supporting infinite data structures

Full text

Pdf (1.49 MB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 89 - 103

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Author

Arthur G. Duncan

Rensselaer Polytechnic Institute, Troy, NY

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/289524.289537 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	Bothner, Per, The Kawa Scheme System, May 1997, available on-line as http://www, cygnus, com/--bothner/ kawa. html.
	2	A. G. Duncan, Experience and suggestions on using Ada to implement internal program representations, Proceedings of the Ada-Europe international conference on Ada : experiences and prospects: experiences and prospects, p.151-160, January 1990, Dublin, Ireland
	3	John English, Ada 95: the craft of object-oriented programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	4	Erlingsson, 0. and A. Konstanfinou, Implementing the C++ Standard Template Library in Ada 95, Computer Science Department, Rensselaer Polytechnic Institute, Troy, NY, January 31, 1996.
	5	Friedman, D. and D. Wise, CONS Should Not Evaluate Its Arguments, in S. Michaelson and R. Milner (Eds.), Automata, Languages and Programming, Edinburgh, Edinburgh University Press, 1976.
	6	Peter Henderson , James H. Morris, Jr., A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.95-103, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811543]
	7	Paul Hudak , Simon Peyton Jones , Philip Wadler , Brian Boutel , Jon Fairbairn , Joseph Fasel , María M. Guzmán , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Will Partain , John Peterson, Report on the programming language Haskell: a non-strict, purely functional language version 1.2, ACM SIGPLAN Notices, v.27 n.5, p.1-164, May 1992 [doi>10.1145/130697.130699]
	8	John Hughes, Why functional programming matters, Research topics in functional programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	9	Kelsey, R., W. Clinger, and J. Rees (Eds.), Revised5 Report on the Algorithmic Language Scheme, February 1998.
	10	Magnus Kempe, Abstract data types are under full control with Ada 9X, Proceedings of the conference on TRI-Ada '94, p.141-152, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197715]
	11	David R. Musser , Alexander A. Stepanov, The Ada Generic Library linear list processing packages, Springer-Verlag New York, Inc., New York, NY, 1989
	12	Martin Odersky , Philip Wadler, Pizza into Java: translating theory into practice, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.146-159, January 15-17, 1997, Paris, France [doi>10.1145/263699.263715]
	13	Lawrence C. Paulson, ML for the working programmer (2nd ed.), Cambridge University Press, New York, NY, 1996
	14	Guy L. Steele, Jr., Common LISP: the language (2nd ed.), Digital Press, Newton, MA, 1990
	15	Stepanov, A. A. and M. Lee, The Standard Template Library, Tech. Rep. HPL-04-34, Hewlett-Packard, April 1994, revised July 7, 1995.
	16	David Turner, An overview of Miranda 1, Research topics in functional programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990