Automatic generation and use of abstract structure operators

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic generation and use of abstract structure operators

Full text

Pdf (1.62 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 13 , Issue 4 (October 1991) table of contents

Pages: 531 - 557

Year of Publication: 1991

ISSN:0164-0925

Author

Tim Sheard

Amherst College, Amherst, MA

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms review 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/115372.115369 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	Ramez Elmasri , Shamkant B. Navathe, Fundamentals of database systems, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1989
	2	HOARE, C. A. R. Recursive data structures, Int. J. Comput. Inf Sci. 4, 2 (Apr. 1975), 105-132.
	3	Kenneth E. Iverson, Operators, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.161-176, Oct. 1979 [doi>10.1145/357073.357074]
	4	John McCarthy, History of LISP, The first ACM SIGPLAN conference on History of programming languages, p.217-223, June 01-03, 1978, Los Angeles, CA [doi>10.1145/960118.808387]
	5	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
	6	Gail M. Shaw , Stanley B. Zdonik, An object-oriented query algebras, Proceedings of the second international workshop on Database programming languages, p.103-112, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
	7	SH~ARU, T. A user's guide to TRPL, a compile-time refiective programming }anguage. COINS Tech. Rep. 90409, Dept. of Computer and Information Science, Univ. of Massachusetts, Amherst, Mass., 1990.
	8	Åke Wikström, Functional programming using standard ML, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1987

CITED BY 4

	Patrik Jansson , Johan Jeuring, PolyP—a polytypic programming language extension, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.470-482, January 15-17, 1997, Paris, France
	Ralf Hinze, A new approach to generic functional programming, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-132, January 19-21, 2000, Boston, MA, USA
	Malcolm Atkinson , Ronald Morrison, Orthogonally persistent object systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
	Julia L. Lawall, Proofs by structural induction using partial evaluation, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.155-166, June 14-16, 1993, Copenhagen, Denmark

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.3 Language Constructs and Features
Subjects: Abstract data types

General Terms:
Algorithms, Design, Languages

Keywords:
automatic type directed operation generation, classes, reflection

REVIEW

"Jianguo Lu : Reviewer"

Higher-order operators have been used in many typed and untyped programming languages, especially functional languages. They have been used to manipulate both homogeneous and heterogeneous structures, as in the functional language FP and the o more...

Collaborative Colleagues:

Tim Sheard: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player