144 search results - page 12 / 29 » It Is Time to Mechanize Programming Language Metatheory |
87
Voted
ICFP
2008
ACM
16 years 11 days 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...
99
Voted
IPPS
2002
IEEE
15 years 5 months 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...
72
Voted
CC
2007
Springer
15 years 6 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...
90
Voted
CD
2004
Springer
15 years 5 months 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...
99
Voted
PLDI
1996
ACM
15 years 4 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...