Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Flow analysis of lazy higher-order functional programs | 41 | 3.15 | 2007 |
| Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms | 0 | 0.34 | 1997 |
| Generalizing Cook's Transformation to Imperative Stack Programs | 9 | 0.95 | 1994 |