Yanhong Annie Liu: 2 books

Systematic Program Design

From Clarity to Efficiency

by Yanhong Annie Liu
Language: English
Release Date: May 20, 2013

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

Declarative Logic Programming

Theory, Systems, and Applications

by Michael Kifer, Yanhong Annie Liu
Language: English
Release Date: September 19, 2018

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation,...