Formal Languages

Dipl.-Inform. Karl Azab

email: Azab

Since 2008-09-24, I no longer work at the University of Oldenburg.

 


top of page

Projects


top of page

Publications

[Aza08]
Karl Azab. Editing nested constraints and application conditions. In A. Habel and M. Mosbah, editors, Proc. Int. Workshop on Graph Computation Models (GCM'08), pages 35-42, 2008. Download Long version. [ .pdf ]
[AH08]
Karl Azab and Annegret Habel. High-level programs and program conditions. In Graph Transformations (ICGT'08), volume 5214 of Lecture Notes in Computer Science, pages 211-225. Springer-Verlag, 2008. SpringerLink. [ .pdf ]
[AP08]
Karl Azab and Karl-Heinz Pennemann. Type checking C++ template instantiation by graph programs. In Proc. Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), volume 10, pages 249-262. Electronic Communications of the EASST, 2008. ECEASST-Link. [ .pdf ]
[AP07]
Karl Azab and Karl-Heinz Pennemann. Type checking C++ template instantiation by graph programs. Berichte aus dem Department für Informatik 04/07, 24 pages, Universität Oldenburg, 2007. [ .pdf ]
[AHPZ07]
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, and Christian Zuckschwerdt. ENFORCe: A system for ensuring formal correctness of high-level programs. In Proc. 3rd International Workshop on Graph Based Tools (GraBaTs'06), volume 1, pages 82-93. Electronic Communications of the EASST, 2007. ECEASST-Link. [ .pdf ]