Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?n...

Full description

Bibliographic Details
Other Authors: Fiadeiro, Jose L. (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1999, 1999
Edition:1st ed. 1999
Series:Lecture Notes in Computer Science
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • An Algebraic Framework for Separate Type-Checking
  • Moving Specification Structures Between Logical Systems
  • Normal Forms for Partitions and Relations
  • Parameterisation of Logics
  • Semantic Constructions for Hidden Algebra
  • Functorial Semantics for Multi-algebras
  • An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories
  • Hierarchical Heterogeneous Specifications
  • Parallel Admissible Graph Rewriting
  • Refinements and Modules for Typed Graph Transformation Systems
  • Complete Strategies for Term Graph Narrowing
  • Non-deterministic Computations in ELAN
  • Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics
  • Translating OBJ3 into CASL: The Institution Level
  • Casl: A Guided Tour of Its Design
  • Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets
  • Using Reflection to Specify Transaction Sequences in Rewriting Logic
  • Concurrency and Data Types: A Specification Method An Example with LOTOS
  • The Situation and State Calculus versus Branching Temporal Logic
  • Modular Specification of Concurrent Systems with Observational Logic
  • Proof Normalization of Structured Algebraic Specifications Is Convergent