| [1] |
C. League, Z. Shao, and V. Trifonov.
Precision in practice: A type-preserving Java compiler.
In Proc. Int'l. Conf. on Compiler Construction, April 2003. [ bib | .pdf | Abstract ] |
| [2] |
C. League.
A Type-Preserving Compiler Infrastructure.
PhD thesis, Yale University, May 2002. [ bib | .pdf | Abstract ] |
| [3] |
C. League, Z. Shao, and V. Trifonov.
Type-preserving compilation of Featherweight Java.
ACM Trans. on Programming Languages and Systems, 24(2), March
2002. [ bib | .pdf | Abstract ] |
| [4] |
C. League, V. Trifonov, and Z. Shao.
Functional Java bytecode.
In Proc. 5th World Conf. on Systemics, Cybernetics, and
Informatics, July 2001.
Workshop on Intermediate Representation Engineering for the Java
Virtual Machine. [ bib | .pdf | Abstract ] |
| [5] |
C. League, V. Trifonov, and Z. Shao.
Type-preserving compilation of Featherweight Java.
In Proc. Int'l Workshop on Foundations of Object-Oriented
Languages, London, January 2001. [ bib | .pdf | Abstract ] |
| [6] |
T. Bultan, R. Gerber, and C. League.
Composite model checking: Verification with type-specific symbolic
representations.
ACM Trans. on Software Engineering and Methodology,
9(1):3-50, January 2000. [ bib | .ps.gz | Abstract ] |
| [7] |
C. League, Z. Shao, and V. Trifonov.
Representing Java classes in a typed intermediate language.
In Proc. Int'l Conf. Functional Programming, pages 183-196,
Paris, September 1999. ACM. [ bib | .ps.gz | Abstract ] |
| [8] |
Z. Shao, C. League, and S. Monnier.
Implementing typed intermediate languages.
In Proc. Int'l Conf. Functional Programming, pages 313-323,
Baltimore, September 1998. ACM. [ bib | .ps.gz | Abstract ] |
| [9] |
T. Bultan, R. Gerber, and C. League.
Verifying systems with integer constraints and boolean predicates: A
composite approach.
In Proc. Symp. on Software Testing and Analysis, pages
113-123, March 1998. [ bib | .ps.gz ] |
This file has been generated by bibtex2html 1.52