The Formal System of Dijkstra and Scholten
The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proofs and has attracted a substantial following in research, teaching, and programming. However, there is confusion regarding this logic to the point in which, for some time, it was not considered a logi...
Saved in:
| Published in: | Logic, Rewriting, and Concurrency. |
|---|---|
| Institution: | Escuela Colombiana de Ingeniería |
| Main Authors: | , |
| Format: | Capítulo - Parte de Libro |
| Language: | English |
| Published: |
Springer.
2015
|
| Subjects: | |
| Online Access: | https://repositorio.escuelaing.edu.co/handle/001/1881 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
