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