3056 search results - page 340 / 612 » Compiling Embedded Languages |
122
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
139
Voted
UPP
2004
Springer
15 years 7 months ago
2004
Springer
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system...
110
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...
111
Voted
TIC
1998
Springer
15 years 6 months ago
1998
Springer
Polymorphic equality is a controversial language construct. While being convenient for the programmer, it has been argued that polymorphic equality (1) invites to violation of soft...
129
click to vote
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
d Abstract) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells∗ Glasgow University Topic Areas: compilation, lambda calcul...