A One-Pass Algorithm for Overload Resolution in Ada

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A One-Pass Algorithm for Overload Resolution in Ada

Full text

Pdf (865 KB)

Source

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

Pages: 601 - 614

Year of Publication: 1982

ISSN:0164-0925

Author

T. P. Baker

Florida State University

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/69622.69623 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	Peter A. Belmont, Type resolution in Ada: An implementation report, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.57-61, January 1980 [doi>10.1145/800004.807935]
	2	G. V. Cormack, An algorithm for the selection of overloaded functions in ADA, ACM SIGPLAN Notices, v.16 n.2, p.48-52, February 1981 [doi>10.1145/954269.954275]
	3	Harald Ganzinger , Knut Ripken, Operator identification in ADA: formal specification, complexity, and concrete implementation, ACM SIGPLAN Notices, v.15 n.2, p.30-42, February 1980 [doi>10.1145/947586.947589]
	4	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	5	Jürgen M. Janas, A comment on "operator identification in ADA" by Ganzinger and Ripken, ACM SIGPLAN Notices, v.15 n.9, p.39-42, September 1980 [doi>10.1145/947706.947712]
	6	Tom Pennello , Frank DeRemer , Richard Meyers, A simplified operator identification scheme for Ada, ACM SIGPLAN Notices, v.15 n.7 and 8, p.82-87, July-August 1980 [doi>10.1145/947680.947688]
	7	Guido Persch , Georg Winterstein , Manfred Dausmann , Sophia Drossopoulou, Overloading in preliminary Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.47-56, January 1980 [doi>10.1145/800004.807934]
	8	Reference Manual for the Ada Programming Language (proposed standard), U.S. Department of Defense, Washington, D.C., Nov. 1980.
	9	Mark S. Sherman , Martha S. Borkan, A flexible semantic analyzer for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.62-69, January 1980 [doi>10.1145/800004.807936]
	10	WALLIS, R.J., AND SILVERMAN, R.W. Efficient implementation of the Ada overloading rules. Inf. Process. Lett. 10, 3 (Apr. 1980), 120-123.
	11	Peter Wegner, Programming with Ada: an introduction by means of graduated examples, Prentice-Hall, Inc., Upper Saddle River, NJ, 2000

CITED BY 9

	Walter F. Tichy, Smart recompilation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.273-291, July 1986
	T. P. Baker, A single-pass syntax-directed front end for Ada, ACM SIGPLAN Notices, v.17 n.6, p.318-326, June 1982
	David A. Mundie , David A. Fisher, Optimized overload resolution and type matching for Ada, ACM SIGAda Ada Letters, v.XI n.3, p.83-90, Spring 1991
	S. Ceri , S. Crespi-Reghizzi, Relational data bases in the design of program construction systems, ACM SIGSOFT Software Engineering Notes, v.8 n.3, p.17-29, July 1983
	Mahadevan Ganapathi , Geoffrey O. Mendal, Issues in Ada Compiler Technology, Computer, v.22 n.2, p.52-60, February 1989
	S. Ceri , S. Crespi-Reghizzi, Relational data bases in the design of program construction systems, ACM SIGPLAN Notices, v.18 n.11, November 1983
	Teodor Rus, Parsing Languages by Pattern Matching, IEEE Transactions on Software Engineering, v.14 n.4, p.498-511, April 1988
	S. Ceri , S. Crespi-Reghizzi , A. D. Maio , L. A. Lavazza, Software Prototyping by Relational Techniques: Experiences with Program Construction Systems, IEEE Transactions on Software Engineering, v.14 n.11, p.1597-1609, November 1988
	E. W. Giering, III , T. P. Baker, A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks, ACM SIGAda Ada Letters, v.XIV n.SI, p.54-73, Fall 1994

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES

General Terms:
Algorithms, Languages, Performance

REVIEW

"Terry S. Arnold : Reviewer"

This paper presents a one-pass algorithm for overload resolution in Ada. A description of the overloaded operator problem is presented by means of an example. The algorithm is based on a bottom up, left to right parse of an expression. It clearl more...

Collaborative Colleagues:

T. P. Baker: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player