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
CS256: Programming Languages and Semantics Introduction to Axiomatic Semantics http://www.eecs.harvard.edu/~ greg/cs256sp2006/ Greg Morrisett
Add to Reading List
Document Date: 2006-02-15 10:45:17
Open Document
File Size: 122,61 KB
Share Result on Facebook
/
Person
Greg Morrisett /
/
URL
http /
SocialTag
Program logic
Logic in computer science
Control flow
Hoare logic
Loop invariant
Invariant
First-order logic
Entailment
Assertion
Logic