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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Έκδοση: | 1st ed. 1999. |
| Σειρά: | Lecture Notes in Computer Science,
1589 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
