Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
- Author
- Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
- Publication Year
- 2006
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
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.
Keywords: Computer science / algebra computer Computer science / Formal language / Formal languages / Multimedia / Programming / Programming language / Verification