Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, Alcino Cunha {nfmmacedo,hpacheco,alcino Techn. Report TR-HASLab:03:2012 - Determinism - Document - PDFSEARCH.IO

First Page	Meta Content
	Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, Alcino Cunha {nfmmacedo,hpacheco,alcino}@di.uminho.pt Techn. Report TR-HASLab:03:2012 Add to Reading List Document Date: 2014-11-03 12:05:25 Open Document File Size: 377,19 KB Share Result on Facebook / IndustryTerm type-checking algorithm / exhaustive search / / Organization Universidade do Minho / / Person Nat / Hugo Pacheco / / Position guard / / ProgrammingLanguage Haskell / / Technology type-checking algorithm / / URL http / SocialTag Linear temporal logic Operator theory Model theory Μ operator Mathematics Mathematical logic Function

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, Alcino Cunha {nfmmacedo,hpacheco,alcino}@di.uminho.pt Techn. Report TR-HASLab:03:2012Add to Reading List