Skip to main content
Springer Nature Link
Log in

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

  • Conference proceedings
  • © 1985
Save conference proceedings
View saved research

Overview

Editors:
  1. Hartmut Ehrig
  2. Christiane Floyd
  3. Maurice Nivat
  4. James Thatcher

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

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 EUR 43.59
Price includes VAT (Netherlands)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • Hartmut Ehrig
    Pages 1-3

  3. Specification and top down design of distributed systems

    • Manfred Broy
    Pages 4-28

  4. Specification languages for distributed systems

    • Pierpaolo Degano, Ugo Montanari
    Pages 29-51

  5. Semantically based programming tools (Summary)

    • William L. Scherlis, Dana S. Scott
    Pages 52-59

  6. From function level semantics to program transformation and optimization

    • John Backus
    Pages 60-91

  7. Inductively defined functions

    • R. M. Burstall
    Pages 92-96

  8. Three approaches to type structure

    • John C. Reynolds
    Pages 97-138

  9. On the maximum size of random trees

    • M. Protasi, M. Talamo
    Pages 139-144

  10. Fast searching in a real algebraic manifold with applications to geometric complexity

    • Bernard Chazelle
    Pages 145-156

  11. Typed categorical combinatory logic

    • P-L. Curien
    Pages 157-172

  12. A path ordering for proving termination of term rewriting systems

    • D. Kapur, P. Narendran, G. Sivakumar
    Pages 173-187

  13. A rewrite rule based approach for synthesizing abstract data types

    • Deepak Kapur, Mandayam Srivas
    Pages 188-207

  14. “Delayability” in proofs of strong normalizability in the typed lambda Calculus

    • Michael Karr
    Pages 208-222

  15. Bisimulations and abstraction homomorphisms

    • Ilaria Castellani
    Pages 223-238

  16. A metric characterization of fair computations in CCS

    • Gerardo Costa
    Pages 239-252

  17. A complete modal proof system for a subset of SCCS

    • Colin Stirling
    Pages 253-266

  18. Amalgamation of graph transformations with applications to synchronization

    • Paul Boehm, Harald-Reto Fonio, Annegret Habel
    Pages 267-283

  19. Decompilation of control structures by means of graph transformations

    • Ulrike Lichtblau
    Pages 284-297

  20. Synchronized bottom-up tree automata and L-systems

    • E. Fachini, M. Napoli
    Pages 298-307
Back to top

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

  • Book Subtitle: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

  • Editors: Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-15198-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15198-2Published: 01 March 1985

  • eBook ISBN: 978-3-540-39302-3Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 422

  • Topics: Theory of Computation, Software Engineering, Logics and Meanings of Programs, Combinatorics

Keywords

Publish with us

Policies and ethics

Back to top