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

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

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment