Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266--277. ACM Press, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266--277, Paris, France, January 1997.
A Calculus for Dynamic Linking - Ancona, Fagorzi, Zucca (2003) (4 citations) Self-citation (Linking) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Modeling Multiple Class Loaders by a Calculus for Dynamic.. - Fagorzi, Zucca, Ancona (2004) (2 citations) Self-citation (Linking) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Confluent Equational Reasoning for Linking with First-Class .. - Wells, Vestergaard (1999) (15 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Conf. Rec. POPL '97: 24th ACM Symp. Principles of Prog. Languages, 1997.
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (20 citations) Self-citation (Linking) (Correct)
No context found.
L. Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
True Separate Compilation of Java Classes - Ancona, Lagorio, Zucca (2002) (4 citations) Self-citation (Cardelli) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ### ##### ## ########## ## ########### ######### ####, pages 266-277. ACM Press, 1997.
A Calculus for Dynamic Linking - Ancona, Fagorzi, Zucca (2003) (4 citations) Self-citation (Linking) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Choice in Dynamic Linking - Martn Abadi Georges (2004) (6 citations) Self-citation (Linking) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266--277, 15--17 January 1997.
A Separate Compilation Extension to Standard ML - Revised And Expanded (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266--277. ACM Press, 1997.
A Separate Compilation Extension to Standard ML - David Swasey Tom (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266--277. ACM Press, 1997.
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 256--265, Paris, France, January 1997.
An abstract model of Java dynamic linking and loading - Drossopoulou (2001) (2 citations) (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Java Separate Type Checking is not Safe (Extended Abstract) - Ancona, Lagorio, Zucca (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266-277. ACM Press, January 1997.
Even More Principal Typings for Java-like Languages - Ancona, Damiani.. (2004) (1 citation) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Program Generation and Components - Ancona, Moggi (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Conf. Rec. POPL '97: 24th ACM Symp. Princ. of Prog. Langs., pages 266--277, 1997.
Managing the Evolution of .NET Programs - Eisenbach, Jurisic, Sadler (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Polymorphic Bytecode: Compositional Compilation.. - Ancona, Damiani.. (2005) (2 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Keeping Control of Reusable Components - Eisenbach, Kayhan, Sadler (2004) (Correct)
No context found.
Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
A Calculus for Dynamic Reconfiguration with Low Priority.. - Ancona, Fagorzi, Zucca (2004) (Correct)
No context found.
Cardelli, L., Program fragments, linking, and modularization, in: ACM Symp. on Principles of Programming Languages
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In POPL'97, pages 266--277. ACM, 1997.
Modular Formal Frameworks for Module Systems - Ancona (1998) (5 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In Proc. 24th ACM Symp. on Principles of Programming Languages, pages 266--277. ACM Press, January 1997.
Even More Principal Typings for Java-like Languages - Davide Ancona Ferruccio (2004) (1 citation) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages
A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266-277. ACM Press, 1997.
Sound and Complete Inter-Checking - The very essence of.. - Ancona, Zucca (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
A Calculus with Lazy Module Operators - Ancona, Fagorzi, Zucca (2 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
What is Java Binary Compatibility? - Drossopoulou, Wragg, Eisenbach (Correct)
No context found.
L. Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (2 citations) (Correct)
No context found.
L. Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Principal Typings for Java-like Languages - Davide Ancona Via (2004) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Modular Verification of Global Module Invariants in.. - Leino, Müller (2004) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Principles of programming languages (POPL), pages 266--277. ACM Press, 1997.
A Fresh Calculus for Name Management - Ancona, Moggi (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Conf. Rec. POPL '97: 24th ACM Symp. Princ. of Prog. Langs., pages 266--277, 1997.
Approximating Module Semantics with Constraints - Logozzo (2004) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In POPL'97. ACM Press, 1997.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
A Reduction Semantics for Call-By-Value Mixin Modules - Hirschowitz, Leroy, Wells (2002) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In 24th symp. Principles of Progr. Lang., pages 266277. ACM Press, 1997.
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Principal Typings for Java-like Languages - Ancona, Zucca (2004) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997.
Rank 2 Intersection Types for Modules - Damiani (2003) (12 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In POPL'97, pages 266--277. ACM, 1997.
A Calculus with Lazy Module Operators - Ancona, Fagorzi, Zucca (2 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (6 citations) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Rigid Mixin Modules - Hirschowitz (2003) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In 24th symposium Principles of Programming Languages, pages 266277. ACM Press, 1997.
Type systems for Java separate compilation and selective.. - Lagorio (2004) (1 citation) (Correct)
No context found.
L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.
Pluggable Verification Modules: An Extensible Protection Mechanism .. - Fong (2004) (1 citation) (Correct)
No context found.
Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming, pages 256--265, Paris, France, January 1997.
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