Skip to main content
SpringerLink
Log in

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)

  • Conference proceedings
  • © 1989

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter 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

  4. Completion procedures as transition rules + control

    • Pierre Lescanne
    Pages 28-41

  5. A modular framework for specification and implementation

    • Martin Wirsing, Manfred Broy
    Pages 42-73

  6. On the existence of initial models for partial (higher-order) conditional specifications

    • Egidio Astesiano, Maura Cerioli
    Pages 74-88

  7. Terms and infinite trees as monads over a signature

    • Eric Badouel
    Pages 89-103

  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

  10. Shuffle equations, parallel transition systems and equational Petri nets

    • Stephen L. Bloom, Klaus Sutner
    Pages 134-148

  11. Towards a lambda-calculus for concurrent and communicating systems

    • Gérard Boudol
    Pages 149-161

  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

  15. Proofs of declarative properties of logic programs

    • Pierre Deransart
    Pages 207-226

  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

  18. Algebraization and integrity constraints for an extended entity-relationship approach

    • Martin Gogolla
    Pages 259-274

  19. Decidable boundedness problems for hyperedge-replacement graph grammars

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

  20. Implementation of parameterized observational specifications

    • Rolf Hennicker
    Pages 290-305
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation