1194 search results - page 49 / 239 » A Calculus for Predicative Programming |
MPC
1989
Springer
15 years 6 months ago
1989
Springer
106
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
CJ
1999
15 years 1 months ago
1999
108
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...