Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just - Axiom schema of specification - Document - PDFSEARCH.IO

First Page	Meta Content
	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Document Date: 2011-03-15 06:23:49 Open Document File Size: 56,45 KB Share Result on Facebook IndustryTerm quicksort algorithm / / ProgrammingLanguage OBJ / / Technology quicksort algorithm / Functional Programming / / SocialTag Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic

Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is justAdd to Reading List