Régis Bernard Joseph Crelier  Home/Search
Context Related
| inf.ethz.ch/doc/diss/th10650.ps.gz inf.ethz.ch/pub/publica...th10650.ps.gz inf.ethz.ch/research/pu...th10650.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuisg11.unige.ch/OSG/p...msg00613 (more) From: math.tau.ac.il/~guy/Ob...bibfull (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: xiii Chapter 1 Introduction Declarations and Statements 2 Modules and Interfaces 3 Separate Compilation and Interface Checking 4 Program Linking and Loading 8 Chapter 2 Symbol Files Symbol Table 11 Type Graph 11 Scope Graph 14 A Brief History 16 Symbol File Classification 16 Symbol File Linearization 17 Chapter 3 System Consistency and Client Invalidation Consistency Checking 21 Granularity of the Checks 22 Compilation Dependence Graph 23 Using Keys for Consistency Checks 25 Restoring System ... (Update)
Context of citations to this paper: More
...module boundaries but also makes sure that consistent versions of modules get bound together by the linker. In a recent dissertation [8], Rgis Crelier refined the version checking between separately compiled modules and implemented it on a finer granularity. The problem...
.... Firstly, sufficient type information must be provided to allow fine grained interface checks and to prevent unnecessary invalidations [12]. Making parts of the symbol table persistent is instrumental for evolution support. We now have old and new symbol information of all...
Cited by: More
Linking And Loading In A Persistent Dsm Operating System - Schoettner, Marquardt.. (2000) (Correct)
Implementation Aspects of a Persistent DSM.. - Schoettner.. (1999) (Correct)
Type Evolution and Version Management in a.. - Schoettner.. (2001) (Correct)
Active bibliography (related documents): More All
0.0: A Basic Guide to Zeta - Brian Sharp York (Correct)
0.0: Type-safe Linkage for Variables and Functions - Spinellis (1991) (Correct)
0.0: Hard Real-Time Operating System Kernel Study - Task Volume (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.6: Metaprogramming in Oberon - Templ (1994) (Correct)
0.4: Fast Longest Prefix Matching: Algorithms, Analysis, and.. - Waldvogel (2000) (Correct)
0.4: The Homotopy Method Applied to the Symmetric Eigenproblem - Oettli (1995) (Correct)
Related documents from co-citation: More All
3: Speicherverwaltung und Kollisionsbehandlung in transaktionsbasierten verteilten .. (context) - Traub - 1996
3: Project Oberon---The Design of an Operating System and Compiler (context) - Wirth, Gutknecht - 1992
3: Software---Practice and Experience (context) - Wirth, language - 1988
BibTeX entry: (Update)
Crelier R.: Separate Compilation and Module Extension. ETH dissertation, 1994. http://citeseer.ist.psu.edu/46665.html More
@phdthesis{ crelier94separate,
author = "Regis Crelier",
title = "Separate Compilation and Module Extension",
number = "10650",
year = "1994",
url = "citeseer.ist.psu.edu/46665.html" }
Citations (may not include all citations):14 Xerox Palo Alto Research Center (context) - Mitchell, Maybury et al. - 1979
12 Reference Manual for the Ada Programming Language (context) - Ichbiah - 1983
Documents on the same site (http://cuisg11.unige.ch/OSG/people/jvitek/Compilers/Year95/msg00613.html): More
Activity Counter: New Optimization for the Dynamic Scheduling.. - Ronan Keryell (1993) (Correct)
The Semantics of the C++ Programming Language - Wallace (1995) (Correct)
The Semantics of the C Programming Language - Gurevich, Huggins (1993) (Correct)
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