James Ezick

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

2 EE James Ezick: An optimizing compiler for batches of temporal logic formulas. ISSTA 2004: 183-194

1 EE James Ezick: Resolving and applying constraint queries on context-sensitive analyses. PASTE 2004: 2-7

2004
2	EE	James Ezick: An optimizing compiler for batches of temporal logic formulas. ISSTA 2004: 183-194
1	EE	James Ezick: Resolving and applying constraint queries on context-sensitive analyses. PASTE 2004: 2-7