Implementation implications of Ada generics

Authors:
Gary Bray
Affiliations:
Intermetrics, Inc.
Venue:
ACM SIGAda Ada Letters
Year:
1983

Citing 3
Cited 4

Abstraction mechanisms in CLU

Communications of the ACM
The treatment of data types in EL1

Communications of the ACM
Report on the programming language Euclid

ACM SIGPLAN Notices

Generic packages in C

ACM SIGPLAN Notices
Sharing code among instances of Ada generics

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Advancing generic metamodels

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
A comparison of generic template support: ada, C++, C#, and javaTM

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Generic program units as defined in Ada pose several important design issues for compilers, both in semantic analysis and in runtime implementation. Chief among these issues are separate compilation of generic bodies and the sharing of code among several instantiations of a generic. An implementation is described that allows separate compilation of generic bodies with full semantic checking and that automatically shares instance bodies based on the characteristics of the actual parameters. A single instance body is generated for each "Instance class". Instance classes are formed by actual parameters with the same representation attributes.