Skip to main content
SpringerLink
Log in
Book cover

Algebra, Meaning, and Computation

Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

  • Book
  • © 2006

Overview

Editors:
  1. Kokichi Futatsugi

    1. Japan Advanced Institute of Science and Technology (JAIST),  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Jouannaud

    1. LIX, Projet INRIA TypiCal, École Polytechnique and CNRS, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Meseguer

    1. CS Dept., University of Illinois at Urbana-Champaign, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (32 chapters)

  1. Front Matter

    Download chapter PDF

  3. Meta-Logic

    1. Quantum Institutions

      • Carlos Caleiro, Paulo Mateus, Amilcar Sernadas, Cristina Sernadas
      Pages 50-64

    2. Jewels of Institution-Independent Model Theory

      • Răzvan Diaconescu
      Pages 65-98

    3. Semantic Web Languages – Towards an Institutional Perspective

      • Dorel Lucanu, Yuan Fang Li, Jin Song Dong
      Pages 99-123

    4. Institutional 2-cells and Grothendieck Institutions

      • Till Mossakowski
      Pages 124-149

    5. Some Varieties of Equational Logic

      • Gordon Plotkin
      Pages 150-156

    6. Complete Categorical Deduction for Satisfaction as Injectivity

      • Grigore Roşu
      Pages 157-172

  4. Specification and Composition

    1. Extension Morphisms for CommUnity

      • Nazareno Aguirre, Tom Maibaum, Paulo Alencar
      Pages 173-193

    2. Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application

      • Oana Andrei, Liliana Ibanescu, Hélène Kirchner
      Pages 194-215

    3. From OBJ to ML to Coq

      • Jacek Chrząszcz, Jean-Pierre Jouannaud
      Pages 216-234

    4. Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

      • Hartmut Ehrig, Ulrike Prange
      Pages 235-251

    5. From OBJ to Maude and Beyond

      • José Meseguer
      Pages 252-280

    6. Constructive Action Semantics in OBJ

      • Peter D. Mosses
      Pages 281-295

    7. Horizontal Composability Revisited

      • Donald Sannella, Andrzej Tarlecki
      Pages 296-316

    8. Composition by Colimit and Formal Software Development

      • Douglas R. Smith
      Pages 317-332

  5. Behaviour and Formal Languages

    1. Proving Behavioral Refinements of COL-specifications

      • Michel Bidoit, Rolf Hennicker
      Pages 333-354

    2. The Reactive Engine for Modular Transducers

      • Gérard Huet, Benoît Razet
      Pages 355-374
Back to top

Keywords

About this book

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fundamental ways by his ideas.

This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.

The papers were presented at a Symposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

Editors and Affiliations

  • Japan Advanced Institute of Science and Technology (JAIST),  

    Kokichi Futatsugi

  • LIX, Projet INRIA TypiCal, École Polytechnique and CNRS, Palaiseau, France

    Jean-Pierre Jouannaud

  • CS Dept., University of Illinois at Urbana-Champaign, USA

    José Meseguer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation