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
@proceedings{DBLP:conf/wadt/1997,
editor = {Francesco Parisi-Presicce},
title = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
booktitle = {WADT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1376},
year = {1997},
isbn = {3-540-64299-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- 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 Feb 14 03:19:33 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page