Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1997

Algorithimic Languages and Calculi

Editors:

  1. Richard S. Bird

    1. Computing Laboratory, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lambert Meertens

    1. CWI, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

Sections

Buy it now

eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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 (16 chapters)

  1. Front Matter

    Pages i-viii
    PDF

  3. Calculating With Pointer Structures

    • Bernhard Möller
    Pages 24-48

  4. Deriving a systolic regular language recognizer

    • Matteo Vaccari, Roland Backhouse
    Pages 49-75

  5. A Calculational Fusion System HYLO

    • Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
    Pages 76-106

  6. Refinement of data parallel programs in PEI

    • E. Violard, S. Genaud, G.-R. Perrin
    Pages 107-131

  7. Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons

    • M. Südholt, C. Piepenbrock, K. Obermayer, P. Pepper
    Pages 132-163

  8. Refinement of Parameterized Algebraic Specifications

    • Yellamraju V. Srinivas
    Pages 164-186

  9. Towards a Compositional Interpretation of Object Diagrams

    • J. C. Bicarregui, K. C. Lano, T. S. E. Maibaum
    Pages 187-211

  10. Defining and Detecting Feature Interactions

    • Marc Frappier, Ali Mili, Jules Desharnais
    Pages 212-239

  11. Synthesising Interconnections

    • J. L. Fiadeiro, A. Lopes, T. S. E. Maibaum
    Pages 240-264

  12. A Powerful Transformation Rule, its Applications and Variants

    • Klaus Achatz, Helmuth Partsch
    Pages 265-295

  13. Program Derivation via List Introduction

    • Alberto Pettorossi, Maurizio Proietti
    Pages 296-323

  15. Principled strength reduction

    • Yanhong A. Liu
    Pages 357-381

  17. Predicative Semantics of Loops

    • Theodore S. Norvell
    Pages 415-440

  18. Back Matter

    Pages 441-443
    PDF
Back to top

About this book

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Computing Laboratory, Oxford University, Oxford, UK

    Richard S. Bird

  • CWI, Amsterdam, The Netherlands

    Lambert Meertens

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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