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

Book Review: High Integrity Software


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:6235 | -Ray, May 20, 2004
More Programming articles...

Tallahassee Abstract Art

coding headlines

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

Detailed Error Handling In Bash

Unix: Shell Script Wrapper Examples

Apache2, mod_rewrite tutorial: Redirect requests by device

Create native looking Firefox web apps

Book Review: Invent Your Own Computer Games with Python, 2nd Ed.


Firefox sidebar

Site map

Site info

News feed


(to post)


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