Travelled to:
1 × USA
Collaborated with:
W.Shang
Talks about:
procedur (1) abstract (1) revers (1) prefix (1) tree (1)
Person: Stefan Schäckeler
DBLP: Sch=auml=ckeler:Stefan
Contributed to:
Wrote 1 papers:
- CGO-2009-SchackelerS #abstraction
- Procedural Abstraction with Reverse Prefix Trees (SS, WS), pp. 243–253.