Advertisement

Table of contents

  1. Front Matter
  2. C. A. R. Hoare
    Pages 1-18
  3. J. L. Lassez, K. McAloon
    Pages 19-27
  4. Martin Wirsing, Manfred Broy
    Pages 42-73
  5. Ricardo A. Baeza-Yates
    Pages 104-118
  6. J. Beauquier, A. Choquet, A. Petit, G. Vidal-Naquet
    Pages 119-133
  7. Antonio Brogi, Roberto Gorrieri
    Pages 162-177
  8. A. de Bruin, E. P. de Vink
    Pages 178-192
  9. M. P. Delest, J. M. Fedou
    Pages 193-206
  10. A. Deruyver, R. Gilleron
    Pages 227-243
  11. Harald Ganzinger
    Pages 244-258
  12. Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
    Pages 275-289
  13. P. Massazza, N. Sabadini
    Pages 321-336
  14. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Pages 337-351
  15. Colin Stirling, David Walker
    Pages 369-383

About these proceedings

Introduction

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 consisted 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.

Keywords

Algorithms Attribut Resolution algorithm logic model checking petri net programming programming language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-50939-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50939-4
  • Online ISBN 978-3-540-46116-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site