Skip to main content
SpringerLink
Log in

TAPSOFT'97: Theory and Practice of Software Development

7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Michel Bidoit
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Max Dauchet
    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 1214)

Included in the following conference series:

Conference proceedings info: CAAP 1997.

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

Access this book

Log in via an institution
Softcover Book USD 109.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 (71 papers)

  1. Front Matter

    Download chapter PDF

  2. Theoretical Computer Science and software science: The past, the present and the future (position paper)

    • Corrado Böhm
    Pages 1-5

  3. Future trends of TAPSOFT

    • Hartmut Ehrig, Bernd Mahr
    Pages 6-10

  4. New challenges for theoretical computer science

    • Maurice Nivat
    Pages 11-14

  5. What does the future hold for theoretical computer science?

    • Donald Sannella
    Pages 15-19

  6. Automata theory on trees and partial orders

    • Wolfgang Thomas
    Pages 20-38

  7. A theory of testing for timed automata

    • Frits Vaandrager
    Pages 39-39

  8. Conservative extensions, interpretations between theories and all that!

    • T. S. E. Maibaum
    Pages 40-66

  9. Specification and proof in membership equational logic

    • Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
    Pages 67-92

  10. Formalism and method

    • Egidio Astesiano, Gianna Reggio
    Pages 93-114

  11. CoFI: The common framework initiative for algebraic specification and development

    • Peter D. Mosses
    Pages 115-137

  12. Logicality of conditional rewrite systems

    • Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
    Pages 139-152

  13. Simulating forward-branching systems with constructor systems

    • Bruno Salinier, Robert Strandh
    Pages 153-164

  14. Reliable generalized and context dependent commutation relations

    • Isabelle Biermann, Brigitte Rozoy
    Pages 165-176

  15. Word-into-Trees Transducers with bounded difference

    • Yves Andre, Francis Bossut
    Pages 177-188

  16. Generalized quantitative temporal reasoning: An automata-theoretic approach

    • E. Allen Emerson, Richard J. Trefler
    Pages 189-200

  17. The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages

    • Danièle Beauquier, Anatol Slissenko
    Pages 201-212

  18. Model checking through symbolic reachability graph

    • Jean Michel Ilié, Khalil Ajami
    Pages 213-224

  19. Optimal implementation of wait-free binary relations

    • Eric Goubault
    Pages 225-236

  20. Relative undecidability in the termination hierarchy of single rewrite rules

    • Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
    Pages 237-248
Back to top

Other volumes

  1. TAPSOFT '97: Theory and Practice of Software Development

Keywords

About this book

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997.
The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation