Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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