Dynamically Adaptable Software with Metacomputations in a Staged Language (2001)

Cached

Download Links

by Bill Harrison , Tim Sheard
Citations:1 - 0 self

Documents Related by Co-Citation

6 Guardians for Ambient-Based Monitoring – G. Ferrari, E. Moggi, R. Pugliese - 2002
3 Klava: a Java Package for Mobile Code – L Bettini, R De Nicola, R Pugliese - 2002
1 Java Beans API Specification, 2002. Available on-line at http://java.sun.com/products/javabeans/docs/spec.html. [MS96 – SUN Microsystems - 1996
2 Types for Access Control. Theoretical Computer Science special issue on Coordination – R De Nicola, G Ferrari, R Pugliese, B Venneri - 2000
1 Provides source code, applications and documentation online at http://music.dsi.unifi.it/klaim.html. 34 [Kir01] Z.D. Kirli. Confined mobile functions – The Klaim Home Page - 1998
1 Mobile Computation with Functions. Kluwer, April 2002. [KS01] [MG99 – Z D Kirli - 2001
1 Enforceable security policies. ACM Transation on Information and System Security, 3(1):30–50, 2000. Also appeared as – F B Schneider - 1999
1 Semantics, Applications, and Implementation of Program Generation, volume 1924 – P Jouvelot - 1994
1 VC99] [WF94] [YH99a] [YH99b] [YH02 – J Vitek, G Castagna - 2000
9 Mobile computation with functions – Z Kirli - 2001
23 Using MetaML: a Staged Programming Language – Tim Sheard - 1999
13 Lightweight and Generative Components II: Binary-level Components – Sam Kamin, Miranda Callahan, Lars Clausen - 1999
41 Safe and flexible dynamic linking of native code – Michael Hicks, Stephanie Weirich, Karl Crary - 2000
72 Trust and Partial Typing in Open Systems of Mobile Agents – James Riely, James Riely, Matthew Hennessy, Matthew Hennessy - 1998
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998
23 Dynamic Typing for Distributed Programming in Polymorphic Languages – Dominic Duggan - 1996
56 Distributed Processes and Location Failures – James Riely, James Riely, Matthew Hennessy, Matthew Hennessy - 1997
59 Type-Safe Linking and Modular Assembly Language – Neal Glew, Greg Morrisett - 1999
18 Confined mobile functions – Z D Kirli - 2001