Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement.
The below link provides more details about the programming methodology :
http://web.comlab.ox.ac.uk/oucl/publications/books/PfS/
Some good algorithm related sites :
http://www2.toki.or.id/book/AlgDesignManual/BOOK/BOOK/BOOK.HTM
http://www.cs.sunysb.edu/~algorith/
http://www.csse.monash.edu.au/~lloyd/tildeAlgDS/
Sunday, February 3, 2008
Subscribe to:
Posts (Atom)