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

Abstract Art Prints for Sale

Selected articles

Microsoft to push unlicensed users to Linux

The Network Computer: An opportunity for Linux

No, RMS, Linux is not GNU/Linux

Programming Language Tradeoffs: 3GL vs 4GL

Graffiti Server Download Page

The short life and hard times of a Linux virus

 

Firefox sidebar

Site map

Site info

News feed

Features

Login
(to post)

Search

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