Generic implementation via analogies in the Ada programming languages

Authors:
H Harrison;D B Liu
Affiliations:
Department of Mathematics and and Computer Science, NorFolk State University;Department of Computer Science, Old Dominion University
Venue:
ACM SIGAda Ada Letters
Year:
1986

Citing 3
Cited 1

Program abstraction and instantiation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursion As an Effective Step in Program Development

ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Verification Using ADA

Program Verification Using ADA

An automated method of referencing Ada reusable code using lil

WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract