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...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1999, 1999
|
| Edition: | 1st ed. 1999 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| 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