Precondició lliure més dèbil

La Precondició lliure més dèbil (en anglés, "weakest lliberal precondition", wlp) és una extensió del concepte de la precondició més dèbil de E. W. Dijkstra per a provar en programes d'ordenador.

Mentres wp garantisa que la terminació, wlp no ho fa.

Referències

Marcello M. Bonsangue i Joost N. Kok, The weakest precondition calculus: Recursion and duality, Aspectes formals de l'Informàtica, 6(6):788–800, November 1994. DOI 10.1007/BF01213603.
Este artícul conté una traducció derivada de «Precondición libre más débil» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.