Travelled to:
1 × France
Collaborated with:
Y.Boichut T.Genet T.P.Jensen
Talks about:
prototyp (1) approxim (1) static (1) rewrit (1) analyz (1) fast (1)
Person: Luka Le Roux
DBLP: Roux:Luka_Le
Contributed to:
Wrote 1 papers:
- RTA-2007-BoichutGJR #approximate #performance #prototype
- Rewriting Approximations for Fast Prototyping of Static Analyzers (YB, TG, TPJ, LLR), pp. 48–62.