Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. José Luiz Fiadeiro

    1. Department of Informatics, University of Lisbon, Lisbon, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1589)

Included in the following conference series:

Conference proceedings info: WADT 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. An Algebraic Framework for Separate Type-Checking

    • Davide Ancona
    Pages 1-15

  3. Moving Specification Structures Between Logical Systems

    • Tomasz Borzyszkowski
    Pages 16-30

  4. Normal Forms for Partitions and Relations

    • Roberto Bruni, Fabio Gadducci, Ugo Montanari
    Pages 31-48

  5. Parameterisation of Logics

    • Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
    Pages 48-63

  6. Semantic Constructions for Hidden Algebra

    • Corina Cirstea
    Pages 63-78

  7. Functorial Semantics for Multi-algebras

    • Andrea Corradini, Fabio Gadducci
    Pages 79-91

  8. An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories

    • Andrea Corradini, Martin Groβe-Rhode, Reiko Heckel
    Pages 92-106

  9. Hierarchical Heterogeneous Specifications

    • Sophie Coudert, Gilles Bernot, Pascale Le Gall
    Pages 107-121

  10. Parallel Admissible Graph Rewriting

    • Rachid Echahed, Jean-Christophe Janodet
    Pages 122-138

  11. Refinements and Modules for Typed Graph Transformation Systems

    • Martin Groβe-Rhode, Francesco Parisi Presicce, Marta Simeoni
    Pages 138-151

  12. Complete Strategies for Term Graph Narrowing

    • Annegret Habel, Detlef Plump
    Pages 152-167

  13. Non-deterministic Computations in ELAN

    • Hélèene Kirchner, Pierre-Etienne Moreau
    Pages 168-183

  14. Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics

    • Beata Konikowska
    Pages 184-198

  15. Translating OBJ3 into CASL: The Institution Level

    • Till Mossakowski
    Pages 198-215

  16. Casl: A Guided Tour of Its Design

    • Peter D. Mosses
    Pages 216-240

  17. Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets

    • J. Padberg
    Pages 242-261

  18. Using Reflection to Specify Transaction Sequences in Rewriting Logic

    • Isabel Pita, Narciso Martí-Oliet
    Pages 261-276

  19. Concurrency and Data Types: A Specification Method An Example with LOTOS

    • Pascal Poizat, Christine Choppy, Jean-Claude Royer
    Pages 277-293

  20. The Situation and State Calculus versus Branching Temporal Logic

    • Jaime Ramos, Amílcar Sernadas
    Pages 293-309
Back to top

Keywords

About this book

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 ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.

Editors and Affiliations

  • Department of Informatics, University of Lisbon, Lisbon, Portugal

    José Luiz Fiadeiro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation