
Nov 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Let's get started…
It is hoped that this booklet will have proved interesting. It has covered a number of aspects of writing reliable software and hopefully has shown that Ada is a good language and source of inspiration to use for programs that matter.
This booklet concludes with some background notes on the development of languages.
Read Chapter 12 in full
Note: All chapters of this booklet are available on the Ada 2005 home page.
Ch.12 - Conclusion
Blog_
Latest Blog Posts

[Blog Post]
Claire Dross
From Raw Arrays to Typed Ownership: A Layered Allocator in SPARK

[Blog Post]
Olivier Henley
Ada-FPGA-Programmer: Configuring a Tang Nano 9K from Bare-Metal Ada, Built by Students

[Blog Post]
Kyriakos Georgiou, Paul Butcher


