scholarly journals Application of interface theories to the separate compilation of synchronous programs

2012 ◽  
Author(s):  
Albert Benveniste ◽  
Benoit Caillaud ◽  
Jean-Baptiste Raclet
Keyword(s):  
Separate Compilation

On implementing separate compilation in block-structured languages

1979 ◽  
Vol 14 (8) ◽  
pp. 139-143 ◽  
Author(s):  
Richard J. LeBlanc ◽  
Charles N. Fischer
Keyword(s):  
Separate Compilation ◽  
Block Structured

scholarly journals Cronos: a separate compilation tool set for modular esterel applications

1999 ◽  
pp. 1836-1853 ◽  
Author(s):  
Olivier Hainque ◽  
Laurent Pautet ◽  
Yann Le Biannic ◽  
Éric Nassor
Keyword(s):  
Separate Compilation ◽  
Tool Set

scholarly journals What is Type-Safe Code Reuse?

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

<p>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.</p><p> </p><p>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.</p>

A Separate Compilation System for Ada

1981 ◽  
pp. 197-213 ◽  
Author(s):  
Manfred Dausmann ◽  
Guido Persch ◽  
Sophia Drossopoulou ◽  
Georg Winterstein
Keyword(s):  
Separate Compilation

scholarly journals A separate compilation extension to standard ML

2006 ◽  
Author(s):  
David Swasey ◽  
Tom Murphy ◽  
Karl Crary ◽  
Robert Harper
Keyword(s):  
Separate Compilation ◽  
Standard Ml

Extensions to PASCAL for separate compilation

1978 ◽  
Vol 13 (9) ◽  
pp. 30-33 ◽  
Author(s):  
Richard J. LeBlanc
Keyword(s):  
Separate Compilation
Sign in / Sign up

Export Citation Format

Share Document