The Evolution of Programs (Progress in Computer Science and Applied Logic)

0 avg rating
( 0 ratings by Goodreads )
 
9780817631710: The Evolution of Programs (Progress in Computer Science and Applied Logic)
View all copies of this ISBN edition:
 
 

-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.

Other Popular Editions of the Same Title

9780817631567: The Evolution of Programs

Featured Edition

ISBN 10:  0817631569 ISBN 13:  9780817631567
Publisher: Birkhäuser, 1983
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Nachum Dershowitz
Published by Birkhauser Boston Inc (1983)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Birkhauser Boston Inc, 1983. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780817631710

More information about this seller | Contact this seller

Buy New
US$ 88.68
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Nachum Dershowitz
Published by BIRKHAUSER BOSTON INC, United States (1984)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1984. Paperback. Condition: New. Language: English. Brand new 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. Seller Inventory # LIE9780817631710

More information about this seller | Contact this seller

Buy New
US$ 97.33
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Nachum Dershowitz
Published by BIRKHAUSER BOSTON INC, United States (1984)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1984. Paperback. Condition: New. Language: English. Brand new 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. Seller Inventory # AAV9780817631710

More information about this seller | Contact this seller

Buy New
US$ 99.40
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Nachum Dershowitz
Published by BIRKHAUSER BOSTON INC, United States (1984)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1984. Paperback. Condition: New. Language: English. Brand new 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. Seller Inventory # AAV9780817631710

More information about this seller | Contact this seller

Buy New
US$ 101.97
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

DERSHOWITZ
Published by Birkh?user (1983)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Birkh?user, 1983. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780817631710

More information about this seller | Contact this seller

Buy New
US$ 93.58
Convert currency

Add to Basket

Shipping: US$ 11.76
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Dershowitz
Published by Birkhäuser (2016)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Birkhäuser, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780817631710_lsuk

More information about this seller | Contact this seller

Buy New
US$ 100.89
Convert currency

Add to Basket

Shipping: US$ 5.06
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

DERSHOWITZ
Published by Birkhäuser (1983)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Birkhäuser, 1983. Paperback. Condition: NEW. 9780817631710 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0411728

More information about this seller | Contact this seller

Buy New
US$ 96.89
Convert currency

Add to Basket

Shipping: US$ 10.43
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

DERSHOWITZ
Published by Birkhäuser (2018)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 20
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Birkhäuser, 2018. Paperback. Condition: New. Never used! This item is printed on demand. Seller Inventory # 0817631712

More information about this seller | Contact this seller

Buy New
US$ 112.14
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

9.

Dershowitz; Nachum Dershowitz
Published by Birkhäuser (2013)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Birkhäuser, 2013. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9780817631710

More information about this seller | Contact this seller

Buy New
US$ 110.77
Convert currency

Add to Basket

Shipping: US$ 3.44
From Germany to U.S.A.
Destination, rates & speeds

10.

DERSHOWITZ
Published by Birkhäuser Boston (1983)
ISBN 10: 0817631712 ISBN 13: 9780817631710
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Birkhäuser Boston, 1983. Paperback. Condition: New. 1. Seller Inventory # DADAX0817631712

More information about this seller | Contact this seller

Buy New
US$ 115.08
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book