Predicate transformer semantics - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-04-26 05:39:32 Debugging Procedural programming languages Program logic FermaT Transformation System Program slicing Predicate transformer semantics Conditional ALGOL 68 Meat slicer Software engineering Computing Programming language theory		Add to Reading List Source URL: www.cse.dmu.ac.uk Download Document from Source Website File Size: 114,08 KB Share Document on Facebook