Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Systematic Program Design

All titles
Systematic Program Design

Systematic Program Design

From Clarity to Efficiency
Yanhong Annie Liu, Stony Brook University, State University of New York
August 2013
Hardback
9781107036604
    Description

    A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

    • Offers problem specifications and implementations in all of imperative, database, functional, logic and object-oriented programming languages using different data, control and module abstractions
    • Outlines a systematic method for transforming clear specifications into efficient implementations using three key steps: iterate, incrementalize and implement
    • Contains substantial examples in a wide range of application problems: hardware design, image processing, access control and many more

    Reviews & endorsements

    'As an experienced programmer and educator, I have to admit, I felt deep enjoyment while reading this book. It was a pleasant experience.' M. M. Tanik, Computing Reviews

    'It will prove very useful for graduate students who wish to start their literature review with a comprehensive example of the state of the art in formal methods, and it is an excellent platform for self-directed learning. This well-structured, comprehensive book reflects the author's experience and strong background in the field. Highly recommended.' L. Benedicenti, Choice

    See more reviews

    Product details

    August 2013
    Hardback
    9781107036604
    252 pages
    240 × 158 × 20 mm
    0.55kg
    14 b/w illus. 90 exercises
    Available

    Often bought together

    Program Construction
    Program Construction

    : Paperback

    Programs, Recursion and Unbounded Choice
    Programs, Recursion and Unbounded Choice

    : Paperback

    Often bought together

    This title is available for institutional purchase via Cambridge Core

    Learn more
    cambridge core banner

    Related Journals

    ReCALL
    ReCALL

    : Journal

    ReCALL is the journal of the European Association for Computer Assisted Language Learning (EUROCALL). It seeks to fulfil the stated aims of EUROCALL as a whole, and more particularly to promote the use of foreign languages within Europe and beyond, providing an international focus for the promulgation of innovative research in the area of computer-assisted language learning and technology-enhanced language learning in education and training.Typical subjects for submissions include theoretical debate on second language acquisition and development in technology-rich learning environments and their influence on design; practical applications at developmental stage; evaluative studies of the use of technology in the teaching and learning process; assessment of the potential of technological advances in the delivery of language learning materials and enactment of language learning activities; exploitation of on-line information systems; and discussions of policy and strategy at institutional and discipline levels. Survey papers are welcome provided that they are timely, up-to-date and well-structured.

    Related Journals

    Also by this Author

    Contents

    Table of Contents

    • 1. Introduction
    • 2. Loops: incrementalize
    • 3. Sets: incrementalize and implement
    • 4. Recursion: iterate and incrementalize
    • 5. Rules: iterate, incrementalize, and implement
    • 6. Objects: incrementalize across module abstraction
    • 7. Conclusion.
      • Show more

    Look inside

    Courses
    Resources
    Additional Information
    About the authors

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services