Product Description: This book contains papers and discussion transcripts giving a good survey of the state of the art in deriving programs from their specifications by algebraic means. As opposed to the various refinement calculi for procedural programs, the setting here is mostly that of functional or, to cope with nondeterminacy, relational languages...read more