Table of contents

  1. Front Matter
  2. Hartmut Ehrig, Bernd Mahr
    Pages 1-24
  3. Christiane Floyd
    Pages 25-41
  4. Dexter Kozen
    Pages 42-61
  5. Marie-Claude Gaudel
    Pages 82-96
  6. Vaughan Pratt
    Pages 97-107
  7. Vaughan Pratt
    Pages 108-122
  8. Andreas Potthoff
    Pages 123-139
  9. Roberto M. Amadio1, Mads Dam
    Pages 202-216
  10. Xinxin Liu, David Walker
    Pages 217-231
  11. Burghard von Karger
    Pages 232-246
  12. Victor Selivanov
    Pages 277-287
  13. Pierre-André Wacrenier
    Pages 303-317
  14. Stephen L. Bloom, Zoltán Ésik
    Pages 318-333
  15. Vladimiro Sassone
    Pages 334-348
  16. Eric Badouel, Luca Bernardinello, Philippe Darondeau
    Pages 364-378
  17. Satoshi Okui, Aart Middeldorp, Tetsuo Ida
    Pages 394-408
  18. Michal Walicki, Sigurd Meldal
    Pages 424-438
  19. Luca Aceto, Anna Ingólfsdóttir
    Pages 439-453
  20. Martín Abadi, Luca Cardelli
    Pages 469-485
  21. Kirsten Lackner Solberg
    Pages 501-515
  22. Yves Bertot, Ranan Fraer
    Pages 531-545
  23. Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva et al.
    Pages 546-560
  24. Jens Palsberg
    Pages 561-574
  25. Peter Ørbæk
    Pages 575-589
  26. Hanne Riis Nielson, Flemming Nielson
    Pages 590-604
  27. Henrik Reif Andersen, Michael Mendler
    Pages 620-635
  28. Mooly Sagiv, Thomas Reps, Susan Horwitz
    Pages 651-665
  29. Sandrine Blazy, Philippe Facon
    Pages 666-680
  30. Cyrille Bareau, Benoit Caillaud, Claude Jard, Rene Thoraval
    Pages 711-725

About these proceedings


This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.


Debugging Formal Methods Formale Methoden Program Semantics Programmsemantik Programmspezifikation Simulation Software Development Software Entwicklung Variable algorithms automata design object theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59293-8
  • Online ISBN 978-3-540-49233-7
  • 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