Travelled to:1 × Spain
Collaborated with:∅ A.Gal M.Franz
Talks about:structur (1) modular (1) librari (1) control (1) analysi (1) static (1) assign (1) singl (1) encod (1) form (1)
Person: Christian W. Probst
DBLP: Probst:Christian_W=
Contributed to:
2005
2002Wrote 2 papers:
- COCV-J-2005-GalPF05a #encoding
- Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
- SAS-2002-Probst #analysis #composition #control flow #library
- Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.