60 search results - page 3 / 12 » A Fresh Look at Programming-in-the-Large |
CC
2006
Springer
13 years 11 months ago
2006
Springer
We show that classic PRE is also a maximum flow problem, thereby revealing the missing link between classic and speculative PRE, and more importantly, establishing a common high-le...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
ESEC
1995
Springer
13 years 11 months ago
1995
Springer
COLING
1990
13 years 8 months ago
1990
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...