Travelled to:
1 × Sweden
Collaborated with:
M.Feeley
Talks about:
implement (1) paradigm (1) abstract (1) analysi (1) static (1) compil (1) new (1)
Person: Dominique Boucher
DBLP: Boucher:Dominique
Contributed to:
Wrote 1 papers:
- CC-1996-BoucherF #compilation #implementation #paradigm #static analysis
- Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.