Amazon cover image
Image from Amazon.com

Programming logics : essays in memory of Harald Ganzinger / Andrei Voronkov, Christoph Weidenbach (eds.).

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7797. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publication details: Berlin ; New York : Springer, ©2013.Description: 1 online resource (x, 445 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642376511
  • 3642376517
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.101 23
LOC classification:
  • QA76.63 .P76 2013
NLM classification:
  • QA 76.63
Online resources:
Contents:
Harald Ganzinger's Legacy: Contributions to Logics and Programming / Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov -- Bio-Logics: Logical Analysis of Bioregulatory Networks / Alexander Bockmayr, Heike Siebert -- Canonical Ground Horn Theories / Maria Paola Bonacina, Nachum Dershowitz -- A Generic Functional Representation of Sorted Trees Supporting Attribution / Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter -- The Blossom of Finite Semantic Trees / Jean Goubault-Larrecq, Jean-Pierre Jouannaud -- Functional Logic Programming: From Theory to Curry / Michael Hanus -- From Search to Computation: Redundancy Criteria and Simplification at Work / Thomas Hillenbrand [and others] -- Elimination Techniques for Program Analysis / Deepak Kapur -- Narrowing Based Inductive Proof Search / Claude Kirchner, Hélène Kirchner, Fabrice Nahon -- Inst-Gen -- A Modular Approach to Instantiation-Based Automated Reasoning / Konstantin Korovin -- Common Knowledge Logic in a Higher Order Proof Assistant / Pierre Lescanne -- Constructing Bachmair-Ganzinger Models / Christopher Lynch -- Planning with Effectively Propositional Logic / Juan Antonio Navarro-Pérez, Andrei Voronkov -- The Relative Power of Semantics and Unification / David A. Plaisted, Swaha Miller -- First-Order Resolution Methods for Modal Logics / Renate A. Schmidt, Ullrich Hustadt -- On Combinations of Local Theory Extensions / Viorica Sofronie-Stokkermans -- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs / J. Kreiker [and others].
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and author index.

Harald Ganzinger's Legacy: Contributions to Logics and Programming / Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov -- Bio-Logics: Logical Analysis of Bioregulatory Networks / Alexander Bockmayr, Heike Siebert -- Canonical Ground Horn Theories / Maria Paola Bonacina, Nachum Dershowitz -- A Generic Functional Representation of Sorted Trees Supporting Attribution / Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter -- The Blossom of Finite Semantic Trees / Jean Goubault-Larrecq, Jean-Pierre Jouannaud -- Functional Logic Programming: From Theory to Curry / Michael Hanus -- From Search to Computation: Redundancy Criteria and Simplification at Work / Thomas Hillenbrand [and others] -- Elimination Techniques for Program Analysis / Deepak Kapur -- Narrowing Based Inductive Proof Search / Claude Kirchner, Hélène Kirchner, Fabrice Nahon -- Inst-Gen -- A Modular Approach to Instantiation-Based Automated Reasoning / Konstantin Korovin -- Common Knowledge Logic in a Higher Order Proof Assistant / Pierre Lescanne -- Constructing Bachmair-Ganzinger Models / Christopher Lynch -- Planning with Effectively Propositional Logic / Juan Antonio Navarro-Pérez, Andrei Voronkov -- The Relative Power of Semantics and Unification / David A. Plaisted, Swaha Miller -- First-Order Resolution Methods for Modal Logics / Renate A. Schmidt, Ullrich Hustadt -- On Combinations of Local Theory Extensions / Viorica Sofronie-Stokkermans -- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs / J. Kreiker [and others].

Online resource; title from PDF title page (SpringerLink, viewed May 23, 2013).

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.

English.

Powered by Koha