Precondición lliure més dèbil
La Precondición lliure més dèbil (en anglés, "weakest lliberal precondition", wlp) és una extensió del concepte de la precondición més dèbil de E. W. Dijkstra para provar en programes d'ordenador.
Mentres wp garantisa que la terminació, wlp no ho fa.
Referències
[editar | editar còdic]- 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.