IFIP Advances in Information and Communication Technology

Algorithimic Languages and Calculi

Authors: Bird, Richard, Meerkens, Lambert

Buy this book

eBook 169,99 €
price for Spain (gross)
  • ISBN 978-0-387-35264-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 217,36 €
price for Spain (gross)
  • ISBN 978-0-412-82050-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (16 chapters)

  • Dynamic programming: a different perspective

    Curtis, Sharon

    Pages 1-23

  • Calculating With Pointer Structures

    Möller, Bernhard

    Pages 24-48

  • Deriving a systolic regular language recognizer

    Vaccari, Matteo (et al.)

    Pages 49-75

  • A Calculational Fusion System HYLO

    Onoue, Y. (et al.)

    Pages 76-106

  • Refinement of data parallel programs in PEI

    Violard, E. (et al.)

    Pages 107-131

Buy this book

eBook 169,99 €
price for Spain (gross)
  • ISBN 978-0-387-35264-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 217,36 €
price for Spain (gross)
  • ISBN 978-0-412-82050-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algorithimic Languages and Calculi
Authors
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1997
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35264-0
DOI
10.1007/978-0-387-35264-0
Hardcover ISBN
978-0-412-82050-2
Series ISSN
1868-4238
Edition Number
1
Number of Pages
VIII, 443
Topics