Memory of Harald Ganzinger 2013
- Andrei Voronkov, Christoph Weidenbach:
Programming Logics - Essays in Memory of Harald Ganzinger. Lecture Notes in Computer Science 7797, Springer 2013, ISBN 978-3-642-37650-4 - Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
Harald Ganzinger's Legacy: Contributions to Logics and Programming. 1-18 - Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch:
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). 72-89 - Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach:
From Search to Computation: Redundancy Criteria and Simplification at Work. 169-193 - Konstantin Korovin:
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. 239-270 - Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav:
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. 414-445