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:comment
  • 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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Precondición libre más débil (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1452872 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 716 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 7 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 65907196 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of