The SPARK Way to Correctness is Via Abstraction

John Barnes

John Barnes read mathematics at Trinity College, Cambridge. He was a member of the Ada 83 and Ada 95 design teams and was a founder of the UK subsidiary of Alsys (now Aonix). He is now self-employed and President of Ada-Europe. He has written a number of books including Programming in Ada and Programming in Ada 95 and, more recently, High Integrity Ada The Spark Approach.