Report on Logical Foundations.
Informal technical rept.
ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY
Pagination or Media Count:
The Penelope Ada proof editor allows a user to incrementally develop provably correct Ada programs. The current version of the Penelope system is formally based on a predicate transformer semantics for sequential Ada. The purpose of this work is to provide the mathematical foundations for extending Penelope to Ada tasking programs.
- Computer Programming and Software