PDF-Angelic Nondeterminism and Unifying Theories of Programming Ana Cavalcanti and Jim Woodcock University of York Department of Computer Science York UK Ana
Cavalcantijim csyorkacuk Abstract Hoare and Hes unifying theories of programming UTP is a model of alphabetised relations expressed as predicates w hich supports
Download Presentation
"Angelic Nondeterminism and Unifying Theories of Programming " is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.