12. WADT 1997: Tarquinia, Italy

@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
  

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