1194 search results - page 49 / 239 » A Calculus for Predicative Programming |
128
Voted
GG
2010
Springer
15 years 5 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
127
Voted
ESOP
2001
Springer
15 years 9 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...