Systematic Program Design

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.