Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon, CMU-CS-00-161, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
....[8] Modula 3 [6, 5] Alice [3] and the typed channel languages listed below. Weirich [32] exposes an existential s representation type to type analysis, permitting a type safe polytypic marshalling function to be written. As future work we hope to expose our global type names at term level (cf. [13]) permitting an abstraction safe polytypic marshalling function to be written. Furuse and Weis [9] argue for ignoring abstraction altogether, checking representation types only. A number of programming languages feature some form of builtin marshalling (pickling, serialisation, etc. for ....
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
MetaKlaim: A Type Safe Multi-stage Language for Global Computing - Ferrari, Moggi (2 citations) (Correct)
....assembling and customization of components, that permit to reconfigure the application without having to restart it. In fact, the interest towards formally understanding dynamic linking (and separate compilation) is witnessed by several papers that have recently tackled the problem [Car97a, MG99, HWC00, Dro00, HW00, Sew01] To sum up, dynamic enforcement of security properties together with dynamic assembling and customization of components make the temporal dimension of WAN programming. The spatial and the temporal dimensions of WAN programming have been studied at considerable depth but in ....
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In R. Harper, editor, Proc. of Types in Compilation: Third International Workshop, TIC 2000, volume 2071 of LNCS, pages 147--176. Springer-Verlag, 2000.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) Self-citation (Hicks) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
A Design for Type-Directed Programming in Java - Weirich, Huang (2004) Self-citation (Weirich) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In R. Harper, editor, Types in Compilation: Third International Workshop, TIC 2000.
Research Statement - Weirich (2002) Self-citation (Weirich) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In R. Harper, editor, Types in Compilation: Third International Workshop, TIC 2000.
Open and Survivable Embedded Systems - Angelos Keromytis Stephen Self-citation (Hicks) (Correct)
No context found.
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In Preliminary Proceedings of the ACM SIGPLAN Workshop on Types in Compilation, 8 Technical Report CMU-CS-00-161. Carnegie Mellon University, September 2000.
Dynamic Rebinding for Distributed Programming - Bierman, Hicks, Sewell.. (2002) (1 citation) Self-citation (Hicks) (Correct)
No context found.
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. Self-citation (Hicks) (Correct)
....definition is fixed, precluding rebinding for marshalling or update. Modern languages often provide an interface to the dynamic linker so that programs can load new code at run time [DE, dlo, L 01, Rou96, AVWW96] Dynamic linking has been formally modelled for low level machine code [Dug00, HWC00, 33 5.3 Dynamic Update 6 CONCLUSIONS AND FUTURE WORK HW00] and high level languages like Java [DE] Several authors have considered customised linking for security, performance, or debugging purposes [Rou96, SNC00, HWC00, SV00] Rebinding in Distributed Calculi A number of distributed process ....
....linking has been formally modelled for low level machine code [Dug00, HWC00, 33 5. 3 Dynamic Update 6 CONCLUSIONS AND FUTURE WORK HW00] and high level languages like Java [DE] Several authors have considered customised linking for security, performance, or debugging purposes [Rou96, SNC00, HWC00, SV00] Rebinding in Distributed Calculi A number of distributed process calculi provide implicit rebinding of names, adopting interaction primitives with meanings that depend on where they are used in a location structure [CG98, SV00, RH99, Sch02, SWP99, CS00] This allows a form of rebinding ....
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
A Calculus for Dynamic Loading - Hicks, Weirich (2001) (4 citations) Self-citation (Hicks Weirich) (Correct)
....present the load calculus, used to model dynamic loading, and prove it sound. The calculus extends the polymorphic # calculus with a load primitive that dynamically loads terms that are closed, with respect to values. The calculus is meant to approximate the process of dynamic loading in TAL Load [4], an version of Typed Assembly Language [7] extending with dynamic linking. To model the key aspects of TAL, the calculus contains references and facilities for named types. Loadable programs may refer to named types defined by the running program, and may export new types to code loaded later. ....
....running program, and may export new types to code loaded later. Our approach follows the framework initially outlined by Glew et. al [3] This calculus has been implemented in the TALx86 [6] version of Typed Assembly Language, and is used to implement a full featured dynamic linking library, DLpop [4]. 1 Introduction The purpose of this report is prove the soundness of a simple calculus for dynamic loading, designed as a theoretical basis for dynamic linking in Typed Assembly Language [7, 6, 3] Dynamic loading is provided by a simple primitive load, which converts the binary representation ....
[Article contains additional citation context not shown here]
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Preliminary Proceedings of the ACM SIGPLAN Workshop on Types in Compilation, Technical Report CMU-CS-00-161. Carnegie Mellon University, September 2000.
An abstract model of Java dynamic linking and loading - Drossopoulou (2001) (2 citations) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon, CMU-CS-00-161, 2000.
Managing the Evolution of .NET Programs - Eisenbach, Jurisic, Sadler (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon, CMU-CS-00-161, 2000.
Safety in Flexible Dynamic Linking - Buckley, Drossopoulou (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Robert Harper, editor, Proceedings of the Third International Workshop on Types in Compilation (TIC 2000), volume 2071 of LNCS, pages 147--176. Springer-Verlag, 2000.
Global Abstraction-Safe Marshalling with Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
Choice in Dynamic Linking - Martn Abadi Georges (2004) (6 citations) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In R. Harper, editor, Types in Compilation: Third International Workshop, TIC 2000; Montreal, Canada, September 21, 2000; Revised Selected Papers, volume 2071 of Lecture Notes in Computer Science, pages 147--176. Springer, 2001.
Plugging Haskell In - Pang, Stewart, Seefried, Chakravarty (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Proceedings of the 3rd Workshop on Types in Compilation, pages 147--176, 2000.
High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov (Correct)
No context found.
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In R. Harper, editor, Proceedings of the ACM SIGPLAN Workshop on Types in Compilation, volume 2071.
Global Abstraction-Safe Marshalling With Hash Types - Leifer, Peskine, Sewell.. (2003) (7 citations) (Correct)
No context found.
Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and flexible dynamic linking of native code. In Proc. 3rd Workshop on Types in Compilation, pages 147--176, 2000.
A Computationally Sound Call-by-Value Module Calculus - Machkasova, Turbak (2001) (Correct)
No context found.
M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In TIC '00 [TIC01]. To be published in the LNCS series.
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