Sophia Drossopoulou, Susan Eisenbach, David Wragg  Home/Search
Context Related
| slurp.doc.ic.ac.uk...fragmentlics99.ps 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: slurp.doc.ic.ac.uk/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a calculus describing compilation and linking in terms of operations on fragments, i.e. compilation units, without reference to their specific contents. We believe this calculus faithfully reflects the situation within modern programming systems. (Update)
Cited by: More
A Calculus for Dynamic Linking - Ancona, Fagorzi, Zucca (2003) (Correct)
An abstract model of Java dynamic linking and loading - Drossopoulou (2001) (Correct)
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
Similar documents (at the sentence level):
21.6%: A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1998) (Correct)
5.8%: What can Java Binary Compatibility mean? - Drossopoulou, Eisenbach, Wragg (1999) (Correct)
5.4%: What is Java Binary Compatibility? - Drossopoulou, Wragg, Eisenbach (1998) (Correct)
Active bibliography (related documents): More All
0.5: Towards an model of Java dynamic linking and verification - Drossopoulou (2001) (Correct)
0.4: Java Type Soundness Revisited - Drossopoulou, Valkevych, Eisenbach (2000) (Correct)
0.2: Java Binary Compatibility is Almost Correct - Wragg, Drossopoulou, Eisenbach (1998) (Correct)
Similar documents based on text: More All
0.3: Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1997) (Correct)
0.2: Language and Architecture Paradigms as Object.. - Spinellis.. (1994) (Correct)
Related documents from co-citation: More All
24: and modularization (context) - Cardelli, linking - 1997
12: Classes and mixins - Flatt, Krishnamurthi et al. - 1998
10: Release-to-Release Binary Compatibility in SOM (context) - Forman, Conner et al. - 1995
BibTeX entry: (Update)
Sophia Drossopoulou, Susan Eisenbach, and David Wragg. A Fragment Calculus: Towards a Model of Separate Compilation, Linking and Java Binary Compatibility. Technical Report 99/1, Imperial College Department of Computing, January 1999. available at http://wwwdse. doc.ic.ac.uk/projects/slurp/. http://citeseer.ist.psu.edu/drossopoulou99fragment.html More
@inproceedings{ drossopoulou99fragment,
author = "Sophia Drossopoulou and Susan Eisenbach and David Wragg",
title = "A Fragment Calculus Towards a Model of Separate Compilation, Linking and Binary Compatibility",
booktitle = "Logic in Computer Science",
pages = "147-156",
year = "1999",
url = "citeseer.ist.psu.edu/drossopoulou99fragment.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
169 A Type System For Java Bytecode Subroutines - Stata, Abadi - 1998
162 Programming in Modula (context) - Wirth - 1982
122 and Modularization (context) - Cardelli, Linking - 1997
109 A Type System for Object Initialization in the Java Bytecode.. - Freund, Mitchell - 1998
60 The Security of Static Typing with Dynamic Linking - Dean - 1997
53 A Formal Specification of the Java Virtual Machine Instructi.. - Qian - 1997
41 A Programmer Friendly Modular Definition of the Semantics of.. - Boerger, Schulte - 1999
38 What is Java Binary Compatibility - Drossopoulou, Wragg et al. - 1998
35 A Specification of Java Loading and Bytecode Verification - Goldberg - 1998
27 Reference Manual for the Ada Programming Language (context) - of - 1983
26 Releaseto -Release Binary Compatibility in SOM (context) - Forman, Conner et al. - 1995
26 ight is type-safe --- definitely (context) - Nipkow, von Oheimb - 1998
18 Proving Java Type Sound (context) - Syme - 1999
15 Dynamic Class Loading in the Java TM Virtual Machine (context) - Liang, Bracha - 1998
13 A Formalization of Visibility and Dynamic Loading in Java (context) - Jensen, Metyayer et al. - 1998
12 Theory and Practice of Object Systems (context) - Drossopoulou, Eisenbach et al. - 1999
11 Private Communication (context) - Steele - 1998
8 A Separate Compilation System for Ada (context) - Dausmann, Drossopoulou et al. - 1981
7 Private Communications (context) - Bracha - 1999
4 The Java white paper (context) - Gosling, McGilton - 1995
4 Least Types for Memory Locations in Java Bytecode - Qian - 1999
2 Packages break Strong Locality (context) - Bracha - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://slurp.doc.ic.ac.uk/pubs.html): More
Java Exceptions Throw no Surprises - Drossopoulou, Valkevych (2000) (Correct)
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
Java is Type Safe - Probably - Drossopoulou, Eisenbach (1997) (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