-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 ...
Read More
-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.
Read Less
Add this copy of The Evolution of Programs to cart. $17.00, very good condition, Sold by A2ZBooks rated 4.0 out of 5 stars, ships from Burgin, KY, UNITED STATES, published 1984 by Birkhauser.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good Condition. Used very good, all pages clean, ex-library book Quantity Available: 1. Category: Computers & Internet; ISBN: 0817631569. ISBN/EAN: 9780817631567. Pictures of this item not already displayed here available upon request. Inventory No: ABE216362623.
Add this copy of The Evolution of Programs (Progress in Computer Science to cart. $6.33, very good condition, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1983 by Birkhauser.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
364 pp., paperback, previous owner's name to front free endpaper, spine faded else very good. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of The Evolution of Programs to cart. $6.92, good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 1983 by Birkhauser.
Add this copy of The Evolution of Programs (Progress in Computer Science to cart. $39.89, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1983 by Birkhäuser.
Add this copy of The Evolution of Programs to cart. $45.00, very good condition, Sold by Munster & Company rated 4.0 out of 5 stars, ships from Corvallis, OR, UNITED STATES, published 1983 by Birkäuser.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Boston, Basel, Stuttgart: Birkäuser, 1983. 357 pp. 23 x 15 cm. Glossy stiff paper wrappers printed yellow with blue titiling. Sunning to spine. Rubbing to covers with some bumping to corners and spine ends. Small 3 mm permanent marker spot to fore edge. Interior is clean and unmarked. Binding is firm with no cracks. Soft Cover. Very Good.
Add this copy of The Evolution of Programs to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1983 by Birkhauser.
Add this copy of The Evolution of Programs to cart. $52.69, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1983 by Birkhauser.
Add this copy of The Evolution of Programs to cart. $69.09, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1983 by Birkhauser.
