Loading AI tools
De Wikipedia, la enciclopedia libre
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.