12. WADT 1997:
Tarquinia, Italy
Francesco Parisi-Presicce (Ed.):
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers.
Lecture Notes in Computer Science 1376 Springer 1997, ISBN 3-540-64299-4
- Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter:
From abstract data types to algebraic development techniques: A shift of paradigms.
1-17

- José Meseguer:
Membership algebra as a logical framework for equational specification.
18-61

- José Meseguer, Ugo Montanari:
Mapping tile logic into rewriting logic.
62-91

- Davide Ancona, Elena Zucca:
An algebra of mixin modules.
92-106

- T. Borzyskowski:
Correctness of a logical system for structured specifications.
107-121

- Roberto Bruni, Ugo Montanari:
Zero-safe nets: The individual token approach.
122-140

- Maura Cerioli, Elena Zucca:
Implementation of derived programs (almost) for free.
141-155

- Sophie Cherki, Christine Choppy:
A method for FORTRAN programs reverse engineering using algebraic specifications.
156-173

- Corina Cîrstea:
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
174-189

- Andrea Corradini:
A Completeness result for equational deduction in coalgebraic specification.
190-205

- F. M. Dionisio, Udo W. Lipeck:
Specifying with defaults: Compositional semantics.
206-222

- Fabio Gadducci, Reiko Heckel:
An inductive view of graph transformation.
223-237

- Martin Gogolla, Mark Richters:
On combining semiformal and formal object specification techniques.
238-252

- Bernhard Gramlich:
Modular aspects of rewrite-based specifications.
253-268

- Martin Große-Rhode:
From algebra transformation to labelled transition systems.
269-284

- Slawomir Lasota:
Open maps as a bridge between algebraic observational equivalence and bisimilarity.
285-299

- Alfio Martini, Uwe Wolter:
A systematic study of mappings between institutions.
300-315

- Till Mossakowski:
Colimits of order-sorted specifications.
316-332

- Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL.
333-348

- Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments.
349-364

- Peter Padawitz:
Towards the one-tiered design of data types and transition systems.
365-380

- Wieslaw Pawlowski:
Context parchments.
381-401

- Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java.
402-417

- Michal Walicki, Marcin Bialasik:
Categories of relational structures.
418-434

Acknowledgement:
The information on this page was contributed by Martin Gogolla
Last update Tue May 21 01:53:54 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page