Table of contents

  1. Front Matter
  2. John V. Guttag
    Pages 1-14
  3. Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna
    Pages 15-30
  4. Leo Bachmair, Ta Chen, I. V. Ramakrishnan
    Pages 61-74
  5. Y. Bertrand, J. -F. Dufourd, J. Françon, P. Lienhardt
    Pages 75-89
  6. Ernst-Rüdiger Olderog, Stephan Rössig
    Pages 90-104
  7. Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich
    Pages 105-120
  8. Gnanamalar David, Frank Drewes, Hans-Jörg Kreowski
    Pages 167-181
  9. Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen
    Pages 182-198
  10. Mark T. Vandevoorde
    Pages 215-229
  11. Nachum Dershowitz
    Pages 243-250
  12. Danièle Beauquier, Damian Niwiński
    Pages 266-281
  13. Elena Barcucci, Renzo Pinzani, Renzo Sprugnoli
    Pages 282-298
  14. Françoise Bellegarde, James Hook
    Pages 314-327
  15. Bernd Mahr
    Pages 343-355
  16. Joachim Niehren, Andreas Podelski
    Pages 356-375
  17. Alexandre Boudet, Hubert Comon
    Pages 376-390
  18. Gilles Bernot, Pascale Le Gall
    Pages 421-436
  19. Fosca Giannotti, Diego Latella
    Pages 437-452
  20. Hans-Dieter Ehrich, Grit Denker, Amilcar Sernadas
    Pages 453-467
  21. Andrea Corradini
    Pages 468-484
  22. Andrea Asperti, Cosimo Laneve
    Pages 485-500
  23. Laurence Puel, Ascánder Suárez
    Pages 501-518
  24. Ming Yu Yao, Gregor v. Bochmann
    Pages 519-528
  25. K. Drira, P. Azema, B. Soulas, A. M. Chemali
    Pages 529-543
  26. Mohsin Ahmed, G. Venkatesh
    Pages 584-598
  27. J. Bétréma, A. Zvonkin
    Pages 599-612
  28. Javier Esparza
    Pages 613-628
  29. Claire Diehl, Claude Jard, Jean-Xavier Rampon
    Pages 629-643
  30. Susanne Graf, Claire Loiseaux
    Pages 644-657
  31. Giuseppe Longo
    Pages 658-670
  32. Jerzy Tiuryn, Mitchell Wand
    Pages 686-701
  33. G. Louchard
    Pages 717-731

About these proceedings


This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.


Automat algorithm algorithms automata design formal method formal specification logic model checking programming software engineering verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56610-6
  • Online ISBN 978-3-540-47598-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment