The design of air and its application to ada separate compilation

Type checking, separate compilation and reusability

Proceedings of the 1984 SIGPLAN symposium on Compiler construction - SIGPLAN '84 ◽

10.1145/502874.502902 ◽

1984 ◽

Cited By ~ 1

Author(s):

Michael R. Levy

Keyword(s):

Type Checking ◽

Separate Compilation

Download Full-text

Lightweight verification of separate compilation

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 ◽

10.1145/2837614.2837642 ◽

2016 ◽

Cited By ~ 18

Author(s):

Jeehoon Kang ◽

Yoonseung Kim ◽

Chung-Kil Hur ◽

Derek Dreyer ◽

Viktor Vafeiadis

Keyword(s):

Separate Compilation

Download Full-text

On implementing separate compilation in block-structured languages

ACM SIGPLAN Notices ◽

10.1145/872732.806963 ◽

1979 ◽

Vol 14 (8) ◽

pp. 139-143 ◽

Cited By ~ 6

Author(s):

Richard J. LeBlanc ◽

Charles N. Fischer

Keyword(s):

Separate Compilation ◽

Block Structured

Download Full-text

Cronos: a separate compilation tool set for modular esterel applications

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48118-4_47 ◽

1999 ◽

pp. 1836-1853 ◽

Cited By ~ 7

Author(s):

Olivier Hainque ◽

Laurent Pautet ◽

Yann Le Biannic ◽

Éric Nassor

Keyword(s):

Separate Compilation ◽

Tool Set

Download Full-text

What is Type-Safe Code Reuse?

DAIMI Report Series ◽

10.7146/dpb.v19i342.6572 ◽

1990 ◽

Vol 19 (342) ◽

Author(s):

Jens Palsberg ◽

Michael I. Schwartzbach

Keyword(s):

General Mechanism ◽

Theoretical Studies ◽

Code Reuse ◽

Separate Compilation ◽

Direct Abstraction ◽

Typed Languages

Subclassing is reuse of class definitions. It is usually tied to the use of class names, thus relying on the order in which the particular classes in a program are created. This is a burden, however, both when programming and in theoretical studies. This paper presents a structural notion of subclassing for typed languages. It is a direct abstraction of the SMALLTALK interpreter and the separate compilation technique of MODULA. We argue that it is the most general mechanism which can be supported by the implementation while relying on the type-correctness of superclasses. In short, it captures type-safe code reuse.

Download Full-text