Getty Images
Ada a general purpose programming language that incorporates advanced programming features like contracts and object oriented programming support.
SPARK is a subset of the latest version of Ada that can be formally proven to be free of bugs. It takes advantage of Ada 2012’s contract support.
We have collected articles that are related to Ada and SPARK here.
The links above drill down into different aspect of Ada and SPARK. If you have suggestions for other related topics or new TechXchanges then let us know.
Some Resources on Ada and SPARK
Here are some more links for Ada and SPARK.
Check Out More TechXchange Topics
Comments
Comments