Download or read book A High Integrity Subset of Ada written by D. T. Jordan and published by . This book was released on 1993 with total page 70 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Ada is a large, modern imperative programming language designed for the programming of embedded computer systems, that is systems which control or monitor equipment. It is employed increasingly for the programming of high integrity systems, including safety critical systems, where system correctness is of the highest importance. This report defines a subset of Ada that is suitable for the programming of such systems given the technology available today for demonstration of program correctness."