A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not.
| Property | Value |
|---|
| dbpprop:abstract
|
- A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not.
- La Precondición libre más débil (en inglés, "weakest liberal precondition", wlp) es una extensión del concepto de la precondición más débil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp garantiza que la terminación, wlp no lo hace.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdf:type
| |
| rdfs:comment
|
- A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not.
- La Precondición libre más débil (en inglés, "weakest liberal precondition", wlp) es una extensión del concepto de la precondición más débil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp garantiza que la terminación, wlp no lo hace.
|
| rdfs:label
|
- Weakest liberal precondition
- Precondición libre más débil
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
