| 2011 | ||
|---|---|---|
| j1 | Dimitrios Vardoulakis, Olin Shivers: CFA2: a Context-Free Approach to Control-Flow Analysis. Logical Methods in Computer Science 7(2) (2011) | |
| c4 | Dimitrios Vardoulakis, Olin Shivers: Pushdown flow analysis of first-class control. ICFP 2011: 69-80 | |
| c3 | ||
| 2010 | ||
| c2 | Dimitrios Vardoulakis, Olin Shivers: CFA2: A Context-Free Approach to Control-Flow Analysis. ESOP 2010: 570-589 | |
| 2008 | ||
| c1 | Dimitrios Vardoulakis, Mitchell Wand: A Compositional Trace Semantics for Orc. COORDINATION 2008: 331-346 | |
| 1 | Olin Shivers | |
| 2 | Mitchell Wand |
Data released under the ODC-BY 1.0 license — See also our legal information page