Languages of the Future (2004)

Cached

Download Links

by Tim Sheard
Venue:In OOPSLA ’04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Citations:69 - 3 self

Active Bibliography

Combining Programming Languages and Logical Reasoning Systems: Project Summary – Tim Sheard
Other – Tim Sheard
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
8 Certified Run-time Code Generation – Frederick M. Smith - 2002
Typed Intermediate Languages – Stephen Tse, Stephen Tse
Project Description – We Propose To
2 Automated Techniques for Provably Safe Mobile Code – Karl Crary , Robert Harper, Peter Lee, Frank Pfenning - 2000
5 Automated Techniques for Provably Safe Mobile Code – Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning - 2000
4 A cost-effective foundational certified code system – Susmit Sarkar - 2005
88 A Type System for Expressive Security Policies – David Walker - 2000
Interpretational Overhead in system software – Boris Feigin - 2011
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov
59 Semantic Type Qualifiers – Brian Chin, Shane Markstrum, Todd Millstein - 2005
2 Algorithm-Independent Framework for Verifying Integer Constraints – David Teller, Zhong Shao - 2000
3 High-Level ABstractions for Low-Level Programming – Iavor Sotirov Diatchki - 2007
Type Systems: Advances and Applications – n.n.
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
An Introduction to Typed Assembly Language – David Walker - 2002
84 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002