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