Precondición libre más débil

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.

[editar] Referencias

• Marcello M. Bonsangue y Joost N. Kok, The weakest precondition calculus: Recursion and duality, Aspectos formales de la Informática, 6(6):788–800, November 1994. DOI 10.1007/BF01213603.

Este artículo es un miniesbozo sobre lógica en el que falta información esencial. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.