Progress in Computer Science and Applied Logic

The Evolution of Programs

Authors: DERSHOWITZ

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-1-4612-5621-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-0-8176-3171-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro­ grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution­ ary aspects of programming are the topic of this monograph. We present rormal methods for manipulating programs and illustrate their applica­ tion with numerous examples. Such methods could be incorporated in semi-automated programming environments, where they would serve to ease the burden on the programmer. We begin by describing a method whereby a given program that achieves one goal can be modified to achieve a different goal or a pro­ gram that computes wrong results can be debugged to achieve the 2 Preface intended results. The abstraction of a set of cognate programs to obtain a program schema, and the instantiation of abstract schemata to solve concrete problems, are approached from the same perspective. In addition, we describe synthesis rules for generating code from specifications and annotation rules for making assertions about code. The synthesis rules may be used when a program is first being developed, or when, in the course of modifying a program, the need arises to rewrite a program segment. Annotation rules may be used for the purpose of determining what an incorrect program really does before attempting to debug it or how a correct program works before attempting to modify it.

Table of contents (7 chapters)

Table of contents (7 chapters)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-1-4612-5621-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-0-8176-3171-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Evolution of Programs
Authors
Series Title
Progress in Computer Science and Applied Logic
Series Volume
5
Copyright
1983
Publisher
Birkhäuser Basel
Copyright Holder
Birkhäuser Boston, Inc.
eBook ISBN
978-1-4612-5621-2
DOI
10.1007/978-1-4612-5621-2
Softcover ISBN
978-0-8176-3171-0
Series ISSN
2297-0576
Edition Number
1
Number of Pages
V, 359
Topics