A type system for certified binaries.
| Autor: | Shao, Zhong, Saha, Bratin, Trifonov, Valery, Papaspyrou, Nikolaos |
|---|---|
| Zdroj: | Proceedings of the 29th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/16/2002, p217-232, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|