| 书目名称 | The Evolution of Programs | | 编辑 | Nachum Dershowitz | | 视频video | | | 丛书名称 | Progress in Computer Science and Applied Logic | | 图书封面 |  | | 描述 | -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 f | | 出版日期 | Book 1983 | | 关键词 | Notation; Partition; algorithms; calculus; code | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4612-5621-2 | | isbn_softcover | 978-0-8176-3171-0 | | isbn_ebook | 978-1-4612-5621-2Series ISSN 2297-0576 Series E-ISSN 2297-0584 | | issn_series | 2297-0576 | | copyright | Birkhäuser Boston, Inc. 1983 |
The information of publication is updating
|
|
发表于 2025-3-21 18:17:16
