Lambda the Ultimate

inactiveTopic Programming from Specifications
started 12/22/2001; 9:49:57 AM - last post 12/22/2001; 9:49:57 AM
Ehud Lamm - Programming from Specifications  blueArrow
12/22/2001; 9:49:57 AM (reads: 1273, responses: 0)
Programming from Specifications
The entire book, by Carroll Morgan, is available online.

The book teaches elementary programming using a formal approach. Programs begin as specifications, and are formally rewritten (or transformed) into executable code.

The specification is thus gradully refined. But the specification itself is no less formal then the end result.

Several chapters contain detailed case studies.

Posted to Software-Eng by Ehud Lamm on 12/22/01; 9:50:34 AM