A Type System for Certified Binaries.
| Autor: | Shao, Zhong1 shao@cs.yale.edu, Trifonov, Valery1 trifonov@cs.yale.edu, Saha, Bratin2 bratin.saha@intel.com, Papaspyrou, Nikolaos3 nickie@softlab.ntua.gr |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Jan2005, Vol. 27 Issue 1, p1-45. 45p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|