Author: Wim H. Hesselink
Publisher: Cambridge University Press
Keywords: theoretical, computer, science, tracts, cambridge, recursion, unbounded, choice, programs
Number of Pages: 235
Published: 1992-06-26
List price: $95.00
ISBN-10: 0521404363
ISBN-13: 9780521404365

Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the programming rules for partial and total correctness of repe

Author: Martijn W. Hesselink
Publisher: Kluwer Law International
Keywords: private, law, european, context, future, essays, new
Number of Pages: 288
Published: 1995-12-01
List price: $160.00
ISBN-10: 9041119620
ISBN-13: 9789041119629

In The New European Private Law, Martijn W. Hesselink presents a revised and supplemented collection of essays written over the last five years on European private law. He argues that the creation of a common private law in Europe is not merely a matter of rediscovering the old ius commune or of neutrally establishing the present ’common core’ which may be codified in a European Civil Code. Rather, it is a matter of making choices, some of which may be highly controversial. In this book he discusses some of the most important choices which will have to be made with regard to cu