Operator identification in ADA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Operator identification in ADA: formal specification, complexity, and concrete implementation

Full text

Pdf (950 KB)

Source

ACM SIGPLAN Notices archive
Volume 15 , Issue 2 (February 1980) table of contents

Pages: 30 - 42

Year of Publication: 1980

ISSN:0362-1340

Authors

Harald Ganzinger	Institut für Informatik der TU, München 2, Federal Republic of Germany
Knut Ripken	Tecsi - Software, 29, rue des Pyramides, F-75001 Paris, France

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/947586.947589 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	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
	2	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]
	3	John B. Kam , Jeffrey D. Ullman, Global Data Flow Analysis and Iterative Algorithms, Journal of the ACM (JACM), v.23 n.1, p.158-171, Jan. 1976 [doi>10.1145/321921.321938]
	4	Ganzinger, H., Ripken, K., Wilhelm, R., Automatic Generation of Optimizing Multipass Compilers, information Processing 77, B. Gilchrist (ed.), IFIP, North-Holland Publ. Co. (1977) 535--540.
	5	van Wijngaarden, A. (ed.), Mailloux, B. J., Peck, J. E. L., Koster, C. H. A. Report on the algorithmic language ALGOL68. Numerische Mathematik <u>14</u>(1969) 79--218.

CITED BY 10

	Jun Shen , Gordon V. Cormack, Automatic instantiation in Ada, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.338-346, October 21-25, 1991, San Jose, California, United States
	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
	T. P. Baker, A single-pass syntax-directed front end for Ada, ACM SIGPLAN Notices, v.17 n.6, p.318-326, June 1982
	Peter A. Belmont, Type resolution in Ada: an implementation report, ACM SIGPLAN Notices, v.15 n.11, November 1980
	Mark S. Sherman , Martha S. Borkan, A flexible semantic analyzer for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
	T. P. Baker, A One-Pass Algorithm for Overload Resolution in Ada, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.601-614, Oct. 1982
	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
	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
	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
	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

Collaborative Colleagues:

Harald Ganzinger: colleagues

Knut Ripken: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player