4743 search results - page 329 / 949 » The PlusCal Algorithm Language |
249
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
137
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
119
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
137
click to vote
PLDI
2003
ACM
15 years 9 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...
142
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
Most cross language information retrieval research concentrates on language pairs for which direct, rich, and often multiple translation resources already exist. However, for most...