Travelled to:1 × Germany
1 × Italy
Collaborated with:A.Simon B.Braßel
Talks about:function (1) program (1) analysi (1) expand (1) shape (1) oracl (1) debug (1) lazi (1) fold (1) fesa (1)
Person: Holger Siegel
DBLP: Siegel:Holger
Contributed to:
2013
2007Wrote 2 papers:
- CC-2013-SiegelS #analysis #named
- FESA: Fold- and Expand-Based Shape Analysis (HS, AS), pp. 82–101.
- IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code
- Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.