POPL
2004
ACM
15 years 23 days ago
2004
ACM
POPL
2004
ACM
15 years 23 days ago
2004
ACM
POPL
2004
ACM
15 years 23 days ago
2004
ACM
104
click to vote
POPL
2004
ACM
15 years 23 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
POPL
2004
ACM
15 years 23 days ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...