Skip to main content
Springer Nature Link
Log in

Algorithimic Languages and Calculi

  • Book
  • © 1997

Overview

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)

  • 4081 Accesses

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

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (16 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Dynamic programming: a different perspective

    • Sharon Curtis
    Pages 1-23

  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

  14. Toward a calculus for abstract syntax trees

    • D. S. Wile
    Pages 324-356

  15. Principled strength reduction

    • Yanhong A. Liu
    Pages 357-381

  16. The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus Subset

    • Deepak Goyal, Robert Paige
    Pages 382-414

  17. Predicative Semantics of Loops

    • Theodore S. Norvell
    Pages 415-440

  18. Back Matter

    Pages 441-443
    Download chapter PDF
Back to top

Editors and Affiliations

  • Computing Laboratory, Oxford University, Oxford, UK

    Richard S. Bird

  • CWI, Amsterdam, The Netherlands

    Lambert Meertens

Bibliographic Information

Publish with us

Policies and ethics

Back to top