84 search results - page 13 / 17 » A Calculus for Link-Time Compilation |
113
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
110
click to vote
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
155
click to vote
PLPV
2010
ACM
15 years 12 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
130
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...