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...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | |
| Formáid: | Livre numérique |
| Teanga: | Anglais |
| Foilsithe / Cruthaithe: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sraith: | Lecture notes in computer science
1589 |
| Ábhair: | |
| Rochtain ar líne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nóta: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Recent trends in algebraic development techniques, 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, selected papers, José Luiz Fiadeiro (ed.), 1999, Berlin, Springer, 1 vol. (X-340 p.), Lecture notes in computer science, 3-540-66246-4 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662173596 |
Clár na nÁbhar:
- 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.