Travelled to:
1 × USA
Collaborated with:
F.Spoto
Talks about:
function (1) abstract (1) boolean (1) detect (1) cyclic (1) compil (1) non (1)
Person: Stefano Rossignoli
DBLP: Rossignoli:Stefano
Contributed to:
Wrote 1 papers:
- VMCAI-2006-RossignoliS #compilation #detection
- Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.