| 
|
Quote: simplified the semantics of Dijkstra's mini-language, while increasing its expressiveness
topics >
all references >
references p-r >
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
Topic: programming as mathematics (27 items)
Group: program proving (10 topics, 310 quotes)