Documents Trustless Grid Computing in ConCert (Progress Report)

Trustless Grid Computing in ConCert (Progress Report) Robert Harper Carnegie Mellon University Acknowledgements Co-PI’s Karl Crary, Frank Pfenning, Peter Lee. Support NSF…

Documents Domain Modeling (with Objects)

Domain Modeling (with Objects) Domain Modeling (with Objects) Motivation Programming classes teach What an object is How to create objects What is missing Finding/determining…