Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)

Editors:

  1. Josep Díaz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fernando Orejas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 351)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (24 papers)

  1. Front Matter

    PDF

  2. The varieties of programming language

    • C. A. R. Hoare
    Pages 1-18

  3. Independence of negative constraints

    • J. L. Lassez, K. McAloon
    Pages 19-27

  5. A modular framework for specification and implementation

    • Martin Wirsing, Manfred Broy
    Pages 42-73

  8. The subsequence graph of a text

    • Ricardo A. Baeza-Yates
    Pages 104-118

  9. Syntactical properties of unbounded nets of processors

    • J. Beauquier, A. Choquet, A. Petit, G. Vidal-Naquet
    Pages 119-133

  12. A distributed, net oriented semantics for Delta Prolog

    • Antonio Brogi, Roberto Gorrieri
    Pages 162-177

  13. Continuation semantics for PROLOG with cut

    • A. de Bruin, E. P. de Vink
    Pages 178-192

  14. Labeled trees and relations on generating functions

    • M. P. Delest, J. M. Fedou
    Pages 193-206

  16. The reachability problem for ground TRS and some extensions

    • A. Deruyver, R. Gilleron
    Pages 227-243

  17. Order-sorted completion: The many-sorted way

    • Harald Ganzinger
    Pages 244-258

  19. Decidable boundedness problems for hyperedge-replacement graph grammars

    • Annegret Habel, Hans-Jörg Kreowski, Walter Vogler
    Pages 275-289
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation