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 BibTeX
@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 BibTeX
- José Meseguer:
Membership algebra as a logical framework for equational specification.
18-61 BibTeX
- José Meseguer, Ugo Montanari:
Mapping tile logic into rewriting logic.
62-91 BibTeX
- Davide Ancona, Elena Zucca:
An algebra of mixin modules.
92-106 BibTeX
- T. Borzyskowski:
Correctness of a logical system for structured specifications.
107-121 BibTeX
- Roberto Bruni, Ugo Montanari:
Zero-safe nets: The individual token approach.
122-140 BibTeX
- Maura Cerioli, Elena Zucca:
Implementation of derived programs (almost) for free.
141-155 BibTeX
- Sophie Cherki, Christine Choppy:
A method for FORTRAN programs reverse engineering using algebraic specifications.
156-173 BibTeX
- Corina Cîrstea:
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
174-189 BibTeX
- Andrea Corradini:
A Completeness result for equational deduction in coalgebraic specification.
190-205 BibTeX
- F. M. Dionisio, Udo W. Lipeck:
Specifying with defaults: Compositional semantics.
206-222 BibTeX
- Fabio Gadducci, Reiko Heckel:
An inductive view of graph transformation.
223-237 BibTeX
- Martin Gogolla, Mark Richters:
On combining semiformal and formal object specification techniques.
238-252 BibTeX
- Bernhard Gramlich:
Modular aspects of rewrite-based specifications.
253-268 BibTeX
- Martin Große-Rhode:
From algebra transformation to labelled transition systems.
269-284 BibTeX
- Slawomir Lasota:
Open maps as a bridge between algebraic observational equivalence and bisimilarity.
285-299 BibTeX
- Alfio Martini, Uwe Wolter:
A systematic study of mappings between institutions.
300-315 BibTeX
- Till Mossakowski:
Colimits of order-sorted specifications.
316-332 BibTeX
- Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL.
333-348 BibTeX
- Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
Combining and representing logical systems using model-theoretic parchments.
349-364 BibTeX
- Peter Padawitz:
Towards the one-tiered design of data types and transition systems.
365-380 BibTeX
- Wieslaw Pawlowski:
Context parchments.
381-401 BibTeX
- Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java.
402-417 BibTeX
- Michal Walicki, Marcin Bialasik:
Categories of relational structures.
418-434 BibTeX
Acknowledgement:
The information on this page was contributed by Martin Gogolla
Copyright © Sat May 16 23:47:12 2009
by Michael Ley (ley@uni-trier.de)