Travelled to:1 × Germany
1 × Portugal
1 × The Netherlands
Collaborated with:J.Knoop B.Steffen V.Braun M.Klein M.v.d.Beeck A.Claßen A.Dannecker C.Friedrich T.Margaria-Steffen F.Schreiber
Talks about:analysi (2) graph (2) frame (2) meta (2) polymorph (1) dinosaur (1) program (1) optimaz (1) generat (1) control (1)
Person: Dirk Koschützki
DBLP: Kosch=uuml=tzki:Dirk
Contributed to:
1998
19971996Wrote 4 papers:
- CC-1998-BraunKK #analysis #control flow #generative #named
- Cool: A Control-Flow Generator for System Analysis (VB, JK, DK), pp. 306–309.
- CC-1998-KnoopKS #graph #question
- Basic-Block Graphs: Living Dinosaurs? (JK, DK, BS), pp. 65–79.
- TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of
- Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
- TACAS-1996-KleinKKS #automaton #program analysis
- DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.