Systematic Program Design

Erscheinungsjahr 2013
ISBN: 978-1-107-61079-8
Verlag: Cambridge University Press

Buch, Englisch, 256 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1000 g

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.

Autoren/Hrsg.

Liu, Yanhong Annie

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines

Inhaltsverzeichnis

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.

Über Autor(innen)

Liu, Yanhong Annie
Annie Liu is a professor in the computer science department at the State University of New York, Stony Brook. Her primary research interests are in the areas of programming languages, algorithm design and software systems, particularly in general and systematic methods for generating efficient implementations from clear specifications. Professor Liu has published her research in more than seventy refereed journal articles, conference articles and book chapters. She has taught more than twenty different courses in her areas of expertise, and presented more than forty research talks at international conferences and more than fifty invited talks at universities and research institutes.