Librenix  
(Show all Book Review articles . . .
)  
Headlines | Linux | Apps | Coding | BSD | Admin | News
Information for Linux System Administration 

Book Review: High Integrity Software

Up
vote
Down

This rather exclusive title lists for about $70...
What is SPARK? It's a language, a subset of Ada that will run on any Ada compiler, with extensions that automated tools can analyze to prove the correctness of programs. As the author says in his Preface, "I would like my programs to work without spending ages debugging the wretched things." SPARK is designed to minimize debugging time (which averages 50% of a project's duration in most cases).
 read more | score:5977 | -Ray, May 20, 2004
More Programming articles...

Buy Large Abstract Art Prints

coding headlines

No Starch Press has published my Perl One-Liners book!

 

Firefox sidebar

Site map

Site info

News feed

Features

Login
(to post)

Search

 
Articles are owned by their authors.   © 2000-2012 Ray Yeargin