Map
Index
Random
Help
th

Quote: simplified the semantics of Dijkstra's mini-language, while increasing its expressiveness

topics > all references > references p-r > QuoteRef: redeDH7_1979 , p. 15



Topic:
programming as mathematics
Group:
program proving

Quotation Skeleton

By modifying Dijkstra's language, we have simplified the … increased the language's expressive power. Our refinement naming …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: refinement naming convention allows a new verification technique

Related Topics up

Topic: programming as mathematics (27 items)
Group: program proving   (10 topics, 310 quotes)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.