Computer programs arc fun to write, and well-written computer pro
grams are fun to read. One of life's greatest pleasures can be the
composition of a computer program that you know will be a pleasure
for other people to read, and for yourself to read.
Computer programs can also do useful work. One of life's greatest...
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated...
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
Concurrent processes can exhibit extremely complicated behavior, and
neither informal reasoning nor testing is reliable enough to establish their
correctness. In this thesis, we develop a new technique for the verification
of parallel programs. The technique is stated in terms of axioms and inference
rules, and it is used to prove...
In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Data structures that store such sets of objects can be either static (built for a fixed set of objects) or dynamic (insertions of new objects and deletions of existing objects...
The study of minimum paths on or around polyhedra in Euclidean 3-space is
of growing importance in robotics. This work presents new algorithms
based on extensions of the Voronoi diagram. Since experience with new algo-
rithms is also important, this work also describes a workbench to allow
experimentation.
It is my pleasure and privilege to write the foreword for this book, whose results I
have been following and awaiting for the last few years. This monograph represents
the outcome of an ambitious project oriented towards advancing our knowledge of
the way the human visual system processes images, and about the way it combines
high...
Conventional object-oriented data models are "closed". Although they allow users to define
application-specific classes, they usually come with a fixed set of modeling primitives. This
constitutes a major problem as different application domains have different requirements on
a data model. For example, database integration...
NHibernate 3 Beginner's Guide examines all of the topics required to get a functional data-access layer implemented while writing the least amount of code possible, presenting options along the way to handle particular edge cases or situations as they arise. The book begins with an introduction to NHibernate 3 and then moves on to...
This monograph presents a comparison of methods for organizing very large amounts of stored data called a very large database to facilitate fast retrieval of desired information on direct access storage devices. In a very large data base involving retrieval and updating, the major factor of immediate concern is the average number of accesses...
This book is the revised and extended version of a Pfr.D. dissertation submitted
to the Department of Electrical Engineering and Computer Sciences, University of
California at Berkeley. Many of the ideas presented in this book have their roots in
discussions with Eugene Wong, my mentor and thesis advisor. I would like to thank
Gene...
In just 24 sessions of one hour or less, you’ll learn how to use SQL to build effective databases, efficiently retrieve your data, and manage everything from performance to security! Using this book’s straightforward, step-by-step approach, you’ll learn hands-on through practical examples. Each lesson...
