Typing a multi-language intermediate code

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 248-260

  Gordon, Andrew D ^a   Syme, Don ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); PASCAL (PROGRAMMING LANGUAGE); PROGRAM COMPILERS; THEOREM PROVING; WORLD WIDE WEB;

INTERMEDIATE LANGUAGE; MULTI-LANGUAGE INTERMEDIATE CODE;

COMPUTER SOFTWARE;

EID: 0035035507     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/360204.360228     Document Type: Conference Paper

References (33)

1. Type systems
2. The notion of proof in hardware verification
3. Java is type safe--probably
4. Marmot: An optimizing compiler for Java
5. A type system for object initialization in the java bytecode language
6. Compilation and equivalence of imperative objects
7. Typing a multi-language intermediate code
8. Feather-weight java: A minimal core calculus for java and GJ
9. Typing haskell in haskell
10. Unboxed objects and polymorphic typing
11. Stack-based typed assembly language
12. From system F to typed assembly language
13. Proof-carrying code
14. Escape analysis on lists
15. The glasgow haskell compiler: A technical overview
16. Unboxed values as first class citizens
17. A static semantics for haskell
18. A formal specification of Java™ virtual machine instructions for objects, methods and subroutines
19. A type system for Java bytecode subroutines
20. An overview of the FLINT/ML compiler
21. Proving java type soundness
22. TIL: A type-directed optimizing compiler for ML
23. Region-based memory management
24. Machine-checking the java specification: Proving type-safety
25. A compositional account of the Java™ virtual machine