Sciweavers

3056 search results - page 167 / 612
» Compiling Embedded Languages
Sort
View
PLDI
2005
ACM
15 years 4 months ago
Programming ad-hoc networks of mobile and resource-constrained devices
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode
IJPP
2002
107views more  IJPP 2002»
14 years 10 months ago
Efficiently Adapting Java Binaries in Limited Memory Contexts
This paper presents a compilation framework that allows executable code to be shared across different Java Virtual Machine (JVM) instances. All fully compliant JVMs that target se...
Pramod G. Joisha, Samuel P. Midkiff, Mauricio J. S...
APLAS
2004
ACM
15 years 3 months ago
D-Fusion: A Distinctive Fusion Calculus
Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...
ICFP
2001
ACM
15 years 10 months ago
Extensible Algebraic Datatypes with Defaults
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
Matthias Zenger, Martin Odersky
TGC
2007
Springer
15 years 4 months ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper