Active Bibliography

Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
34 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
Supporting Language Extension and . . . – Lennart Kats - 2007
17 A framework for certified program analysis and its applications to mobile-code safety – Bor-yuh Evan Chang, Adam Chlipala, George C. Necula - 2006
Process Migration and Transactions Using a Formal Intermediate Language ∗ ABSTRACT – Jason Hickey, Justin D. Smith, Brian Aydemir, Nathaniel Gray, Adam Granicz, Cristian T Ăpus
Group in Logic and the Methodology of Science – Bor-yuh Evan Chang, George C. Necula, Robert R. Schneck
7 Extensible Untrusted Code Verification – Robert Richard Schneck, Robert Richard Schneck - 2004
9 Extensible virtual machines – Timothy L. Harris - 2001
1 Interactive Simulations on the Web: Compiling NESL into Java – Jonathan C. Hardwick, Girija Narlikar , Jay Sipelstein
3 SINTL: A Strongly-Typed Generic Intermediate Language for Scheme – Mark DePristo - 2000
1 Abstract Formalization of Generics for the.NET Common Language Runtime – Dachuan Yu, Andrew Kennedy, Don Syme
44 Adding wildcards to the Java programming language – Mads Torgersen, Christian Plesner Hansen, Erik Ernst - 2004
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
Implementation of the.NET CLR on FPGAs – Srinath. S, Srinivasan. T, Vidyabhushan. M, Ranjani Parthasarathi
2 A Portable Virtual Machine for Program Debugging and Directing – Camil Demetrescu, Irene Finocchi - 2004
2 A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine – Sam Shiel, Ian Bayley - 2005
Virtual Machines, Managed Code and Component Technology – John Gough
7 How to Migrate Agents – Matthew Hohlfeld, Bennet Yee - 1998