Table of contents

  1. Front Matter
  2. Dines Bjørner
    Pages 1-35
  3. Ohris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
    Pages 60-60
  4. Jeannette M. Wing
    Pages 61-80
  5. A. Bossi, N. Cocco
    Pages 96-110
  6. Dominique Clément, Janet Incerpi
    Pages 111-125
  7. Roland Dietrich
    Pages 126-139
  8. P. Fradet, D. Le Métayer
    Pages 155-166
  9. You-Chin Fuh, Prateek Mishra
    Pages 167-183
  10. Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
    Pages 184-209
  11. E. Pascal Gribomont
    Pages 210-224
  12. P. Inverardi, S. Martini, C. Montangero
    Pages 257-271
  13. S. Mauw, G. J. Veltink
    Pages 272-285
  14. Silvio Lemos Meira
    Pages 286-297
  15. George A. Papadopoulos
    Pages 313-327
  16. Frank Pfenning, Peter Lee
    Pages 345-359
  17. Thomas Reps, Wuu Yang
    Pages 360-374
  18. Donald Sannella, Andrzej Tarlecki
    Pages 375-389

About these proceedings


TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.


ML Prolog Resolution design distributed systems functional programming logic polymorphism programming programming language semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50940-0
  • Online ISBN 978-3-540-46118-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site