Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

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

Editors: Abramsky, S., Maibaum, T.S.E. (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46563-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-53982-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered in the broad sense as that of sets of discrete structures and the theory of rewriting systems over them. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects. The ADC talks by distinguished invited speakers survey current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software engineering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • Full abstraction for series-parallel pomsets

    Pages 1-25

    Aceto, Luca

  • On causality observed incrementally, finally

    Pages 26-41

    Ferrari, Gian-Luigi (et al.)

  • On the domain of traces and sequential composition

    Pages 42-56

    Kwiatkowska, Martz Z.

  • Compilation of pattern matching with associative-commutative functions

    Pages 57-73

    Kounalis, E. (et al.)

  • Linear bounded automata and rewrite systems : Influence of initial configurations on decision properties

    Pages 74-89

    Caron, A-C

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46563-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-53982-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Book Subtitle
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
Editors
  • S. Abramsky
  • T.S.E. Maibaum
Series Title
Lecture Notes in Computer Science
Series Volume
493
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46563-8
DOI
10.1007/3-540-53982-4
Softcover ISBN
978-3-540-53982-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 455
Topics