SPARK Release 7.4 (~85 KB .pdf) has been released. "SPARK is a high level programming language and toolset designed for writing software for high integrity applications." It is based on a subset of Ada.
This release includes: language support for an 'accept' annotation, the allowance for obsolete floating-point attributes from Ada 83 in SPARK 95 mode, the 'Always_Valid assertion, user manual changes, plus other changes.
![[RSS 2.0 Feed]](img/feed.png)
![[Valid RSS 2.0]](img/valid_rss.gif "Validate my RSS feed")
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![[Valid Atom 1.0]](img/valid_atom.gif "Validate my Atom 1.0 feed")
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)