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

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

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

Editors:

  1. Hartmut Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Kowalski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giorgio Levi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ugo Montanari
    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 249)

Conference series link(s): CAAP: Colloquium on Trees in Algebra and Programming

Conference proceedings info: CAAP 1987.

Sections

Buy it now

Softcover Book USD 49.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 (21 papers)

  1. Front Matter

    PDF

  4. Longest common factor of two words

    • Maxime Crochemore
    Pages 26-36

  5. An unification semi-algorithm for intersection type schemes

    • Simona Ronchi Della Rocca
    Pages 37-51

  7. Transformation ordering

    • F. Bellegarde, P. Lescanne
    Pages 69-80

  10. Finite algebraic specifications of semicomputable data types

    • G. Marongiu, S. Tulipani
    Pages 111-122

  12. CCS without Ï„'s

    • Rocco De Nicola, Matthew Hennessy
    Pages 138-152

  14. SMoLCS-driven concurrent calculi

    • Egidio Astesiano, Gianna Reggio
    Pages 169-201

  16. Partial composition and recursion of module specifications

    • Francesco Parisi-Presicce
    Pages 217-231

  17. Efficient representation of taxonomies

    • G. Gambosi, J. NeÅ¡etÅ™il, M. Talamo
    Pages 232-240

  18. Applications of compactness in the Smyth powerdomain of streams

    • J. -J. Ch. Meyer, E. P. de Vink
    Pages 241-255

  19. Characterizing Kripke structures in temporal logic

    • M. C. Browne, E. M. Clarke, O. Grümberg
    Pages 256-270

  20. Dialogue with a proof system

    • Robin Milner
    Pages 271-275
Back to top

Other Volumes

  1. TAPSOFT '87

Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

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

  • Editors: Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-17660-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17660-2Published: 27 February 1987

  • eBook ISBN: 978-3-540-47746-4Published: 14 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 294

  • Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 49.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