Program Verification Using Ada

Front Cover
CUP Archive, Jul 29, 1982 - Computers - 368 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Correctness of simple programs
10
Programs containing loops
30
Introduction to axiomatics
62
Arrays and records
102
Functions and procedures
144
Packages and abstract data types
179
Parallel processing
212
Programming with verification in mind
234
Program transformations
275
Automatic methods
312
Language design and program verification
320
Structuring facilities
327
Exception handling
333
Copyright

Common terms and phrases

Bibliographic information