Zhong Shao and Andrew W. Appel. Smartest Recompilation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL'93), pages 439--450, Charleston, SC, USA, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Flexible Dynamic Linking for .NET - Anders Aaltonen Alex (Correct)
No context found.
Zhong Shao and Andrew W. Appel. Smartest Recompilation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL'93), pages 439--450, Charleston, SC, USA, 1993.
Flexible Dynamic Linking - Buckley, Drossopoulou (2004) (1 citation) (Correct)
No context found.
Zhong Shao and Andrew W. Appel. Smartest Recompilation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL'93), pages 439--450, Charleston, South Carolina, USA, 1993.
Flexible Bytecode for Linking in .NET - Buckley, Murray, Eisenbach.. (2005) (Correct)
No context found.
Zhong Shao and Andrew W. Appel. Smartest Recompilation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL'93), pages 439--450, Charleston, SC, USA, 1993.
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
No context found.
Z. Shao and A. W. Appel. Smartest recompilation. In POPL'93, pages 439--450. ACM, 1993.
A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439-450. ACM Press, 1993.
Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (15 citations) (Correct)
No context found.
SHAO,Z.AND APPEL, A. W. 1993. Smartest recompilation. In POPL'93. ACM, 439--450.
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993.
Principal Typings for Java-like Languages - Davide Ancona Via (2004) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.
A Model for Inter-module Analysis and Optimizing.. - Bueno, Banda.. (2000) (4 citations) (Correct)
No context found.
Z. Shao and A. Appel. Smartest recompilation. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'93, pages 439-450, Charleston, South Carolina, 1993. ACM.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
No context found.
Z. Shao, A. Appel. Smartest recompilation. In Conf. Rec. 20th Ann. ACM Symp. Princ. of Prog. Langs., 1993.
Principal Typings for Java-like Languages - Ancona, Zucca (2004) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993.
Rank 2 Intersection Types for Modules - Damiani (2003) (12 citations) (Correct)
No context found.
Z. Shao and A. W. Appel. Smartest recompilation. In POPL'93, pages 439--450. ACM, 1993.
A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (6 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.
Graphs for Recording Type Information - Bruce Mcadam Laboratory (Correct)
No context found.
Zhong Shao and Andrew Appel. Smartest recompilation. In ACM Symposium on Principles of Programming Languages, number 20. ACM, ACM Press, January 1993.
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (4 citations) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ### ##### ## ########## ## ########### ######### ####, pages 439-450. ACM Press, 1993.
Type systems for Java separate compilation and selective.. - Lagorio (2004) (1 citation) (Correct)
No context found.
Z. Shao and A.W. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
No context found.
Z. Shao and A. W. Appel. Smartest recompilation. In POPL'93, pages 439--450. ACM, 1993.
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
No context found.
Z. Shao and A. Appel. Smartest recompilation. In Conf. Rec. 20th Ann. ACM Symp. Princ. of Prog. Langs., 1993.
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2003) (Correct)
No context found.
Z. Shao, A. Appel. Smartest recompilation. In Conf. Rec. 20th Ann. ACM Symp. Princ. of Prog. Langs., 1993.
A Computationally Sound Call-by-Value Module Calculus - Machkasova, Turbak (2001) (Correct)
No context found.
Z. Shao and A. Appel. Smartest recompilation. In Conf. Rec. 20th Ann. ACM Symp. Princ. of Prog. Langs., 1993.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC