Skip to main content
SpringerLink
Log in
Book cover

Programming Logics

Essays in Memory of Harald Ganzinger

  • Book
  • © 2013

Overview

Editors:
  1. Andrei Voronkov

    1. University of Manchester, Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christoph Weidenbach

    1. Max-Planck-Institut für Informatik, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Published in memory of Harald Ganzinger
  • Up-to-date results in programming logics
  • Contains papers covering all fields Harald Ganzinger worked on during his career

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7797)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Download chapter PDF

  2. Harald Ganzinger’s Legacy: Contributions to Logics and Programming

    • Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
    Pages 1-18

  3. Bio-Logics: Logical Analysis of Bioregulatory Networks

    • Alexander Bockmayr, Heike Siebert
    Pages 19-34

  4. Canonical Ground Horn Theories

    • Maria Paola Bonacina, Nachum Dershowitz
    Pages 35-71

  5. A Generic Functional Representation of Sorted Trees Supporting Attribution

    • Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
    Pages 72-89

  6. The Blossom of Finite Semantic Trees

    • Jean Goubault-Larrecq, Jean-Pierre Jouannaud
    Pages 90-122

  7. Functional Logic Programming: From Theory to Curry

    • Michael Hanus
    Pages 123-168

  8. From Search to Computation: Redundancy Criteria and Simplification at Work

    • Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
    Pages 169-193

  9. Elimination Techniques for Program Analysis

    • Deepak Kapur
    Pages 194-215

  10. Narrowing Based Inductive Proof Search

    • Claude Kirchner, Hélène Kirchner, Fabrice Nahon
    Pages 216-238

  11. Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning

    • Konstantin Korovin
    Pages 239-270

  12. Common Knowledge Logic in a Higher Order Proof Assistant

    • Pierre Lescanne
    Pages 271-284

  13. Constructing Bachmair-Ganzinger Models

    • Christopher Lynch
    Pages 285-301

  14. Planning with Effectively Propositional Logic

    • Juan Antonio Navarro-Pérez, Andrei Voronkov
    Pages 302-316

  15. The Relative Power of Semantics and Unification

    • David A. Plaisted, Swaha Miller
    Pages 317-344

  16. First-Order Resolution Methods for Modal Logics

    • Renate A. Schmidt, Ullrich Hustadt
    Pages 345-391

  17. On Combinations of Local Theory Extensions

    • Viorica Sofronie-Stokkermans
    Pages 392-413

  18. Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

    • J. Kreiker, T. Reps, N. Rinetzky, M. Sagiv, Reinhard Wilhelm, E. Yahav
    Pages 414-445

  19. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

Editors and Affiliations

  • University of Manchester, Manchester, UK

    Andrei Voronkov

  • Max-Planck-Institut für Informatik, Saarbrücken, Germany

    Christoph Weidenbach

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation