High Integrity Ada: The Spark Approach

by John Barnes, Praxis Critical Systems

This is an introduction to the SPARK programming language and its associated tools. Developed for the writing of high integrity software, SPARK is valued in application areas where getting the program right really matters.

384 pages, Hardcover

First published June 15, 1997

About the author

Librarian Note: There is more than one author in the Goodreads database with this name.

John Gilbert Presslie Barnes is a British computer scientist, known for his involvement in developing the Ada programming language.