Search for Author All Reviews
	Dijkstra, Edsger     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Reasoning about programs (videotape) Dijkstra E. (ed), University Video Communications, Stanford, CA, 1990.  Type: Book In this videotape, Dijkstra gives a tutorial on program verification. He uses two toy examples, in which he develops the program and its proof at the same time. The material covers basic concepts of assertions, invariants, pre-conditio...... Dec 1 1992     Predicate calculus and program semantics Dijkstra E. (ed), Scholten C., Springer-Verlag New York, Inc., New York, NY, 1990.  Type: Book (9789780387969572) The authors present the predicate calculus and its use in defining and reasoning about predicate transformers. They use the predicate transformers weakest liberal precondition (wlp) and weakest precondition (wp), which will be familiar...... Dec 1 1990     Formal development programs and proofs Dijkstra E. (ed), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990.  Type: Book (9780201172379) “Good programming is the art and science of keeping things simple” (p. viii). The Year of Programming (1987) at the University of Texas at Austin, which originated from this conviction, resulted in a series of somew...... Sep 1 1990
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy