Article

True separate compilation of Java classes

Authors:

PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

Pages 189 - 200

https://doi.org/10.1145/571157.571177

Published: 06 October 2002 Publication History

Get Access

Abstract

We define a type system modeling true separate compilation for a small but significant Java subset, in the sense that a single class declaration can be intra-checked (following the Cardelli's terminology) and compiled providing a minimal set of type requirements on missing classes. These requirements are specified by a local type environment associated with each single class, while in the existing formal definitions of the Java type system classes are typed in a global type environment containing all the type information on a closed program. We also provide formal rules for static inter-checking and relate our approach with compilation of closed programs, by proving that we get the same results.

References

[1]

D. Ancona and G. Lagorio. Supporting true separate compilation in Java: A modular approach. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 2002. Submitted for publication.]]

Google Scholar

[2]

D. Ancona, G. Lagorio, and E. Zucca. A formal framework for Java separate compilation. In B. Magnusson, editor, ECOOP'02 - European Conference on Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 609--635. Springer, 2002.]]

Digital Library

Google Scholar

[3]

L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266--277. ACM Press, 1997.]]

Digital Library

Google Scholar

[4]

S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 41--82. Springer, 1999.]]

Digital Library

Google Scholar

[5]

S. Drossopoulou, T. Valkevych, and S. Eisenbach. Java type soundness revisited. Technical report, Dept. of Computing - Imperial College of Science, Technology and Medicine, September 2000.]]

Google Scholar

[6]

J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification, Second Edition. Addison-Wesley, 2000.J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification, Second Edition. Addison-Wesley, 2000.]]

Digital Library

Google Scholar

[7]

P. H. Hartel and L. Moreau. Formalizing the safety of Java, the Java Virtual Machine and Java card. ACM Computing Surveys, 33(4):517--558, 2001.]]

Digital Library

Google Scholar

[8]

T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.]]

Digital Library

Google Scholar

[9]

S. McDirmid, M.Flatt, and W. Hsieh. Jiazzi: New age components for old fashioned java. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, October 2001. SIGPLAN Notices.]]

Digital Library

Google Scholar

[10]

Z. Shao and A. Appel. Smartest recompilation. In ACM Symp. on Principles of Programming Languages 1993, pages 439--450. ACM Press, 1993.]]

Digital Library

Google Scholar

Cited By

View all

Zwaan Avan Antwerpen HVisser E(2022)Incremental type-checking for free: using scope graphs to derive incremental type-checkersProceedings of the ACM on Programming Languages10.1145/35633036:OOPSLA2(424-448)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563303
Freeman GBatory DLavender GSarvela J(2009)Lifting transformational models of product lines: a case studySoftware & Systems Modeling10.1007/s10270-009-0131-69:3(359-373)Online publication date: 7-Oct-2009
https://doi.org/10.1007/s10270-009-0131-6
Ancona DLagorio GZucca E(2009)Type Inference by Coinductive Logic ProgrammingTypes for Proofs and Programs10.1007/978-3-642-02444-3_1(1-18)Online publication date: 7-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02444-3_1
Show More Cited By

Index Terms

True separate compilation of Java classes
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs

Recommendations

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

In previous work, we presented rules for defining overloaded functions that ensure type safety under symmetric multiple dispatch in an object-oriented language with multiple inheritance, and we showed how to check these rules without requiring the ...
A simple separate compilation mechanism for block-structured languages

A very simple and efficient technique for the introduction of separate compilation facilities into compilers for block-structured languages is presented. Using this technique, programs may be compiled in parts while the compile-time checking advantages ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

October 2002

219 pages

ISBN:1581135289

DOI:10.1145/571157

Conference Chair:
Frank Pfenning
Carnegie Mellon University
,
Program Chair:
Claude Kirchner
LORIA & INRIA, France

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 October 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PPDP02

Sponsor:

SIGPLAN

PPDP02: Principles and Practice of Declarative Programming 2002

October 6 - 8, 2002

PA, Pittsburgh, USA

Acceptance Rates

PPDP '02 Paper Acceptance Rate 18 of 36 submissions, 50%;

Overall Acceptance Rate 230 of 486 submissions, 47%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
278
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zwaan Avan Antwerpen HVisser E(2022)Incremental type-checking for free: using scope graphs to derive incremental type-checkersProceedings of the ACM on Programming Languages10.1145/35633036:OOPSLA2(424-448)Online publication date: 31-Oct-2022
https://dl.acm.org/doi/10.1145/3563303
Freeman GBatory DLavender GSarvela J(2009)Lifting transformational models of product lines: a case studySoftware & Systems Modeling10.1007/s10270-009-0131-69:3(359-373)Online publication date: 7-Oct-2009
https://doi.org/10.1007/s10270-009-0131-6
Ancona DLagorio GZucca E(2009)Type Inference by Coinductive Logic ProgrammingTypes for Proofs and Programs10.1007/978-3-642-02444-3_1(1-18)Online publication date: 7-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02444-3_1
Thaker SBatory DKitchin DCook WConsel CLawall J(2007)Safe composition of product linesProceedings of the 6th international conference on Generative programming and component engineering10.1145/1289971.1289989(95-104)Online publication date: 1-Oct-2007
https://dl.acm.org/doi/10.1145/1289971.1289989
Liu JBatory DLengauer COsterweil LRombach DSoffa M(2006)Feature oriented refactoring of legacy applicationsProceedings of the 28th international conference on Software engineering10.1145/1134285.1134303(112-121)Online publication date: 28-May-2006
https://dl.acm.org/doi/10.1145/1134285.1134303
Lopez-Herrejon RBatory DLengauer CHatcliff JTip F(2006)A disciplined approach to aspect compositionProceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1111542.1111554(68-77)Online publication date: 9-Jan-2006
https://dl.acm.org/doi/10.1145/1111542.1111554
Bettini LBono VLikavec SHaddad HOmicini AWainwright R(2005)Safe and flexible objectsProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1066963(1258-1263)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1066963
Ancona DDamiani FDrossopoulou SZucca E(2005)Polymorphic bytecodeACM SIGPLAN Notices10.1145/1047659.104030840:1(26-37)Online publication date: 12-Jan-2005
https://dl.acm.org/doi/10.1145/1047659.1040308
Ancona DDamiani FDrossopoulou SZucca EPalsberg JAbadi M(2005)Polymorphic bytecodeProceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1040305.1040308(26-37)Online publication date: 12-Jan-2005
https://dl.acm.org/doi/10.1145/1040305.1040308
Ancona DZucca E(2004)Principal typings for Java-like languagesACM SIGPLAN Notices10.1145/982962.96402739:1(306-317)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/982962.964027
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

A simple separate compilation mechanism for block-structured languages