144 search results - page 12 / 29 » It Is Time to Mechanize Programming Language Metatheory |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
IPPS
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
CC
2007
Springer
14 years 1 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
CD
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
PLDI
1996
ACM
13 years 11 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...