Back to Results
First PageMeta Content
Normal distribution / Hoare logic / Program logic / Model theory


Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE[removed]Tallinn, Estonia Received 17 March 2007; acce
Add to Reading List

Document Date: 2008-09-11 10:49:45

Open Document

File Size: 304,17 KB

Share Result on Facebook

City

Tallinn / /

/

Facility

Institute of Cybernetics / Tallinn University of Technology / /

IndustryTerm

crude type inference algorithm / trusted computing base / type systems / compositional type systems / interactive verification tools / code producer / certified code applications / /

Organization

Institute of Cybernetics / Tallinn University of Technology / /

Position

code producer / guard / while-guard / Corresponding author / /

Technology

crude type inference algorithm / analysis algorithm / /

SocialTag