The Evolution of Programs (Progress in Computer Science and Applied Logic, 5) - Softcover
-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.
"synopsis" may belong to another edition of this title.
- PublisherBirkhäuser
- Publication date1983
- ISBN 10 0817631712
- ISBN 13 9780817631710
- BindingPaperback
- Edition number1
- Number of pages364
Buy New
Learn more about this copy
US$ 55.25
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
The Evolution of Programs (Progress in Computer Science and Applied Logic) by DERSHOWITZ [Paperback ]
Published by
Birkhäuser
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Soft Cover
Quantity: 10
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9780817631710
Buy New
US$ 55.25
Convert currency
Stock Image
The Evolution of Programs (Progress in Computer Science and Applied Logic, 5)
Published by
Birkhäuser
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190237190
Buy New
US$ 59.29
Convert currency
Stock Image
The Evolution of Programs
Published by
Birkhäuser
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780817631710_lsuk
Buy New
US$ 64.59
Convert currency
Stock Image
The Evolution of Programs
Published by
Birkhauser Boston Inc
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Paperback / softback
Quantity: > 20
Seller:
Rating
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780817631710
Buy New
US$ 73.34
Convert currency
Stock Image
The Evolution of Programs
Seller:
Rating
Book Description Paperback. Condition: Brand New. 1st edition. 368 pages. 9.00x5.75x0.75 inches. In Stock. Seller Inventory # x-0817631712
Buy New
US$ 76.62
Convert currency
Seller Image
The Evolution of Programs
Published by
Birkhäuser Boston
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - -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. Seller Inventory # 9780817631710
Buy New
US$ 65.58
Convert currency
Seller Image
The Evolution of Programs
Published by
Birkhäuser Boston
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Seller Inventory # 5975336
Buy New
US$ 53.30
Convert currency
Stock Image
The Evolution of Programs
Published by
Birkhauser 1983-01
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
PF
Quantity: 10
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9780817631710
Buy New
US$ 94.77
Convert currency
Seller Image
The Evolution of Programs
Published by
Birkhäuser Boston Jan 1983
(1983)
ISBN 10: 0817631712
ISBN 13: 9780817631710
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware --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. 368 pp. Englisch. Seller Inventory # 9780817631710
Buy New
US$ 94.27
Convert currency