Full functional programming in a declarative Ada dialect

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Full functional programming in a declarative Ada dialect

Full text

Pdf (897 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '92 table of contents

Orlando, Florida, United States

Pages: 350 - 358

Year of Publication: 1992

ISBN:0-89791-529-1

Authors

Paul A. Bailes
Dan Johnston
Eric Salzman
Li Wang

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by 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/143557.143975 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	Paul A. Bailes , Dan Johnson , Eric Salzman , Li Wang, DAda—an Ada preprocessor for functional programming, Proceedings of the conference on TRI-ADA '90, p.114-123, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255514]
	2	R. Budde , K. Kuhlenkamp , L. Mathiassen , L. Zullighoven, Approaches to Prototyping, Springer-Verlag New York, Inc., Secaucus, NJ, 1984
	3	Richard Bird , Philip Wadler, An introduction to functional programming, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1988
	4	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]
	5	P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. 1965 [doi>10.1145/363744.363749]
	6	Shriver, B.D. (ed.), "IEEE Software", vol. 3, no. 6 (1986).
	7	Simon L. Peyton Jones, The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science), Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
	8	D. A. Turner, Functional programs as executable specifications, Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, p.29-54, June 1985, London, United Kingdom
	9	P Henderson, Functional programming, formal specification, and rapid prototyping, IEEE Transactions on Software Engineering, v.12 n.2, p.241-250, Feb. 1986
	10	J. Hughes, Why functional programming matters, The Computer Journal, v.32 n.2, p.98-107, April 1989 [doi>10.1093/comjnl/32.2.98]
	11	Robert W. Floyd, The paradigms of programming, Communications of the ACM, v.22 n.8, p.455-460, Aug. 1979 [doi>10.1145/359138.359140]
	12	Burstall, R.M., MacQueen, D.B. and Sanella, D.T., "HOPE: An Experimental Applicative Language", University of Edinburgh, Department of Computer Science, CSR-62-80 (update~) (1981).
	13	D. A. Turner, Miranda: a non-strict functional language with polymorphic types, Proc. of a conference on Functional programming languages and computer architecture, p.1-16, January 1985, Nancy, France
	14	Bailes, P.A., Johnston, D,B. and Salzman, E.J., "DAD - the Declarative Ada Dialect - Manuals", Technical Report 229, Department of Computer Science, University of Queensland, Brisbane (1992).
	15	Ackerman, W.B., "Data Flow Languages", Proc. Nat. Comput. Conf., pp. 1087-1095 (1979).
	16	Bailes, P.A., Johnston, D.B. and Salzman, E.J., "First-Class Functions for Ada", Technical Report 225, Department of Computer Science, University of Queensland, Brisbane (1992).
	17	Bailes, P.A., Johnston, D.B., and Salzman, E.J., "Real-Time Data-Flow Programming in DAD - A Wide-Spectrum Ada Extension to Support Functional Programming", Proceedings of the 1992 Aria in Aerospace Conference, to appear, Vienna (1992).
	18	Bailes, P.A., Johnston, D.B., Salzman, E.J. and Wang, L., "A Lazy Streams Approach to Concurrent Programming in Ada", Technical Report 235, Department of Computer Science, University of Queensland, Brisbane (1992).