This paper develops modular verification rules for Ada generics which are proven to be sound and complete. The generic mechanism in Ada allows modules to be ...
Generics and verification in Ada. SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming language · Generics and verification in Ada · Leading- ...
Generics are used for metaprogramming in Ada. They are useful for abstract algorithms that share common properties with each other.
This paper explores the restrictions a mechanism in the style of the Ada generics facility would have to satisfy in order to be amenable to existing ...
This paper develops modular verification rules for Ada generics which are proven to be sound and complete. The generic mechanism in Ada allows modules to be ...
Jun 12, 2013 · Whenever you declare a modular type, the modulus has to be a static value, ie a value the compiler can figure out right then and there. And this doesn't work.
Missing: Verification | Show results with:Verification
Ada provides a mechanism for defining generic packages that can give you the same effect without any copying, editing or recompiling.
Missing: Verification | Show results with:Verification
Ada encourages the separation of programs into multiple packages and sub-packages, providing many tools to a programmer on a quest for a perfectly organized ...
People also ask
What are modular types in Ada?
What are generics in ADA language like?
How are instances of Ada generic classes created?
What are generic subprograms in Ada?
Untitled - UT Computer Science - The University of Texas at Austin
www.cs.utexas.edu › UT-AI-TR-80-19
GENERICS AND VERIFICATION IN ADA william D. Young ... Verification at the generic level presupposes an underlying ... 13-2]. they permit inline modular verification ...
This paper discusses the verification and validation (V&V) of reusable software written in the Ada programming language.