7 search results - page 2 / 2 » Program Representation Size in an Intermediate Language with... |
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
PPDP
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...