Skip to main content

Algorithimic Languages and Calculi

  • Book
  • © 1997

Overview

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

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

Access this book

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)

Editors and Affiliations

  • Computing Laboratory, Oxford University, Oxford, UK

    Richard S. Bird

  • CWI, Amsterdam, The Netherlands

    Lambert Meertens

Bibliographic Information

Publish with us