Photometrics (United States)
Publishes on Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Real-Time Systems Scheduling. 6 papers and 25 citations.
Add your photo, update your bio, and get notified when your ranking changes.
This paper describes the aspects of the Ada compiler for the Air Force Ada Integrated Environment (AIE) that are concerned with sharing code among generic instances. Sharing is achieved by forming equivalence classes of generic instances and sharing executable code among members of the class. This approach achieves the required efficiency for embedded applications while minimizing the storage consumed by the executable code of generic instances.
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.
Building on Ada Basic Statements Types, Objects, and Subtypes Subprograms and Packages Error Handling Generics: No Wheels Reinvented Here Tasks Input- Output Specifying Representation Compilation: The Big Picture Environment: The Bigger Picture Appendixes Indexes.
This paper describes the aspects of the Ada compiler for the Air Force Ada Integrated Environment (AIE) that are concerned with sharing code among generic instances. Sharing is achieved by forming equivalence classes of generic instances and sharing executable code among members of the class. This approach achieves the required efficiency for embedded applications while minimizing the storage consumed by the executable code of generic instances.
An effort to determine a set of features offered by program analysis and testing tools that could be feasibly implemented in a compiler is reported. Currently, program analysis and testing tools offer features that require syntactical analysis of a program in a manner similar to compilers.