Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Series | Book

COPR Bookmark Link
225382

Algebra, meaning, and computation

essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

edited byKokichi FutatsugiJean-Pierre JouannaudJosé Meseguer

Abstract

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.

Details | Table of Contents

Sync or swarm

musical improvisation and the complex dynamics of group creativity

David Borgo

pp.1-24

https://doi.org/10.1007/11780274_1
My friend Joseph Goguen Rod Burstall

pp.25-30

https://doi.org/10.1007/11780274_2
Metalogic, qualia, and identity on neptune's great moon

meaning and mathematics in the works of Joseph A. Goguen and Samuel R. Delany

D. Fox Harrell

pp.31-49

https://doi.org/10.1007/11780274_3
Quantum institutions Carlos CaleiroCristina Sernadas

pp.50-64

https://doi.org/10.1007/11780274_4
Jewels of institution-independent model theory Răzvan Diaconescu

pp.65-98

https://doi.org/10.1007/11780274_5
Semantic web languages

towards an institutional perspective

Dorel LucanuYuan Fang LiJin Song Dong

pp.99-123

https://doi.org/10.1007/11780274_6
Institutional 2-cells and grothendieck institutions Till Mossakowski

pp.124-149

https://doi.org/10.1007/11780274_7
Some varieties of equational logic Gordon Plotkin

pp.150-156

https://doi.org/10.1007/11780274_8
Complete categorical deduction for satisfaction as injectivity Grigore Roşu

pp.157-172

https://doi.org/10.1007/11780274_9
Extension morphisms for community Nazareno AguirreTom MaibaumPaulo Alencar

pp.173-193

https://doi.org/10.1007/11780274_10
Non-intrusive formal methods and strategic rewriting for a chemical application Oana AndreiLiliana IbanescuHélène Kirchner

pp.194-215

https://doi.org/10.1007/11780274_11
From obj to ml to coq Jacek ChrząszczJean-Pierre Jouannaud

pp.216-234

https://doi.org/10.1007/11780274_12
Weak adhesive high-level replacement categories and systems

a unifying framework for graph and petri net transformations

Hartmut EhrigUlrike Prange

pp.235-251

https://doi.org/10.1007/11780274_13
From obj to maude and beyond José Meseguer

pp.252-280

https://doi.org/10.1007/11780274_14
Constructive action semantics in obj Peter D. Mosses

pp.281-295

https://doi.org/10.1007/11780274_15
Horizontal composability revisited Donald SannellaAndrzej Tarlecki

pp.296-316

https://doi.org/10.1007/11780274_16
Composition by colimit and formal software development Douglas R. Smith

pp.317-332

https://doi.org/10.1007/11780274_17
Proving behavioral refinements of col-specifications Michel BidoitRolf Hennicker

pp.333-354

https://doi.org/10.1007/11780274_18
The reactive engine for modular transducers Gérard HuetBenoît Razet

pp.355-374

https://doi.org/10.1007/11780274_19
A bialgebraic review of deterministic automata, regular expressions and languages Bart Jacobs

pp.375-404

https://doi.org/10.1007/11780274_20
Sheaves and structures of transition systems Grant Malcolm

pp.405-419

https://doi.org/10.1007/11780274_21
Uniform functors on sets Lawrence S. Moss

pp.420-448

https://doi.org/10.1007/11780274_22
An algebraic approach to regular sets Horst Reichel

pp.449-458

https://doi.org/10.1007/11780274_23
Elementary algebraic specifications of the rational complex numbers Jan A. BergstraJohn V Tucker

pp.459-475

https://doi.org/10.1007/11780274_24
From chaos to undefinedness Manfred Broy

pp.476-496

https://doi.org/10.1007/11780274_25
Completion is an instance of abstract canonical system inference Guillaume BurelClaude Kirchner

pp.497-520

https://doi.org/10.1007/11780274_26
Eliminating dependent pattern matching Healfdene GoguenConor McBrideJames McKinna

pp.521-540

https://doi.org/10.1007/11780274_27
Iterative lexicographic path orders Vincent van OostromRoel de Vrijer

pp.541-554

https://doi.org/10.1007/11780274_28
A functorial framework for constraint normal logic programming Paqui LucioFernando OrejasEdelmira PasarellaElvira Pino

pp.555-577

https://doi.org/10.1007/11780274_29
A stochastic theory of black-box software testing Karl Meinke

pp.578-595

https://doi.org/10.1007/11780274_30
Some tips on writing proof scores in the ots/cafeobj method Kazuhiro OgataKokichi Futatsugi

pp.596-615

https://doi.org/10.1007/11780274_31
Drug interaction ontology (dio) and the resource-sensitive logical inferences Mitsuhiro Okada

pp.616-642

https://doi.org/10.1007/11780274_32

Publication details

Publisher: Springer

Place: Dordrecht

Year: 2006

Pages: 642

Series: Lecture Notes in Computer Science

Series volume: 4060

DOI: 10.1007/11780274

ISBN (hardback): 978-3-540-35462-8

ISBN (digital): 978-3-540-35464-2

Full citation:

Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.