zbMATH — the first resource for mathematics

Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. (English) Zbl 1173.68005
Lecture Notes in Computer Science 5486. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). viii, 343 p. (2009).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1116.68005).
Indexed articles:
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo, Tiles for Reo, 37-55 [Zbl 1253.68090]
Bistarelli, Stefano; Santini, Francesco, C-semiring frameworks for minimum spanning tree problems, 56-70 [Zbl 1253.68370]
Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin, What is a multi-modeling language?, 71-87 [Zbl 1253.68225]
Codescu, Mihai, Generalized theoroidal institution comorphisms, 88-101 [Zbl 1253.68226]
Corradini, Andrea; Foss, Luciana; Ribeiro, Leila, Graph transformation with dependencies for the specification of interactive systems, 102-118 [Zbl 1253.68192]
Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina, Finitely branching labelled transition systems from reaction semantics for process calculi, 119-134 [Zbl 1253.68240]
Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore, A rewriting logic approach to type inference, 135-151 [Zbl 1253.68211]
Gadducci, Fabio, A term-graph syntax for algebras over multisets, 152-165 [Zbl 1253.68228]
Gmeiner, Karl; Gramlich, Bernhard, Transformations of conditional rewrite systems revisited, 166-186 [Zbl 1253.68195]
Kahsai, Temesghen; Roggenbach, Markus, Property preserving refinement for Csp-Casl, 206-220 [Zbl 1253.68229]
Kordy, Barbara, A rewrite approach for pattern containment, 236-250 [Zbl 1253.68101]
Monteiro, Luís, A coalgebraic characterization of behaviours in the linear time – branching time spectrum, 251-265 [Zbl 1253.68230]
Mossakowski, Till; Tarlecki, Andrzej, Heterogeneous logical environments for distributed specifications, 266-289 [Zbl 1253.68231]
Popescu, Andrei; Roşu, Grigore, Term-generic logic, 290-307 [Zbl 1253.03061]
Riesco, Adrian; Verdejo, Alberto; Caballero, Rafael; Martí-Oliet, Narciso, Declarative debugging of rewriting logic specifications, 308-325 [Zbl 1253.68097]
Sojakova, Kristina; Rabe, Florian, Translating a dependently-typed logic to first-order logic, 326-341 [Zbl 1253.03100]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI