(Enter summary)
Abstract: Practical implementations of high-level languages must provide access to libraries and system
services that have APIs specified in a low-level language (usually C). An important
characteristic of such mechanisms is the foreign-interface policy that defines how to bridge
the semantic gap between the high-level language and C. For example, IDL-based tools
generate code to marshal data into and out of the high-level representation according to
user annotations. The design space of... (Update)
Context of citations to this paper: More
...representation called BOL. 3 This IR is used both for optimizing the code from a single module and also for cross module inlining [FPR01] BOL is a normalized representation that makes dataflow explicit by binding each intermediate result to a variable [FSDF93] but in...
Cited by: More
Compiler Support for Lightweight Concurrency - Fisher, Reppy (2001)
(Correct)
Similar documents (at the sentence level):
8.4%: Data-Level Interoperability - Fisher, Pucella, Reppy (2000)
(Correct)
Active bibliography (related documents): More All
0.7: Safe Programming at the C Level of Abstraction - Grossman (2003)
(Correct)
0.4: Local CPS conversion - Reppy (2001)
(Correct)
0.3: Template Haskell: A Report From The Field - Ian Lynagh Programming
(Correct)
Similar documents based on text: More All
0.3: The Design of a Class Mechanism for MOBY - Fisher, Reppy (1999)
(Correct)
0.2: A Logic for Reasoning about Digital Rights - Exte Nd Ed (2002)
(Correct)
0.2: Deductive Algorithmic Knowledge - Riccardo Pucella Department
(Correct)
BibTeX entry: (Update)
Fisher, K., R. Pucella, and J. Reppy. A framework for interoperability. In N. Benton and A. Kennedy (eds.), Electronic Notes in Theoretical Computer Science, vol. 59, New York, NY, 2001. Elsevier Science Publishers. http://citeseer.ist.psu.edu/fisher01framework.html More
@article{ fisher01framework,
author = "Kathleen Fisher and Riccardo Pucella and John H. Reppy",
title = "A framework for interoperability",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "59",
number = "1",
year = "2001",
url = "citeseer.ist.psu.edu/fisher01framework.html" }
Citations (may not include all citations):
37
The design of a class mechanism for Moby
- Fisher, Reppy - 1999
15
Domain specific embedded compilers
- Leijen, Meijer - 1999
14
The Standard ML Basis Library (context) - Gansner, Reppy - 2001
14
Available from httpcaml (context) - The, System et al. - 2000
12
HDirect binary foreign language interface Haskell
- Leijen, Peyton et al. - 1998
10
The Java Native Interface (context) - Liang - 1999
9
No-longer-foreign: Teaching an ML compiler to speak C
- Blume - 2001
6
Mostly-copying collection: A viable alternative to conservat..
- Smith, Morrisett - 1997
6
Available from http://caml (context) - Leroy - 1999
4
or yet another interfacing tool (context) - Chakravarty - 1999
3
An abstract IDL mapping for Standard ML (context) - Pucella, Reppy - 2000
3
portable and optimizing back end SMLNJ compiler
- Guillame, portable et al. - 1994
2
Essential IDL (context) - Gudgin - 2001
1
Type extension through polymorphism (context) - Burton - 1990
1
A safe interface to sockets (context) - Reppy - 1996
Documents on the same site (http://www.cs.bell-labs.com/who/jhr/moby/index.html): More
A Calculus for Compiling and Linking Classes - Fisher, Reppy, Riecke (2000)
(Correct)
Extending Moby with inheritance-based subtyping - Fisher, Reppy (2000)
(Correct)
Data-Level Interoperability - Fisher, Pucella, Reppy (2000)
(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