Travelled to:
1 × United Kingdom
Collaborated with:
K.Pennemann A.Habel
Talks about:
program (3) instanti (1) templat (1) condit (1) level (1) graph (1) check (1) type (1) high (1)
Person: Karl Azab
DBLP: Azab:Karl
Contributed to:
Wrote 2 papers:
- GT-VMT-2008-AzabP #c++ #graph #source code #type checking
- Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
- ICGT-2008-AzabH #source code
- High-Level Programs and Program Conditions (KA, AH), pp. 211–225.