Mientras wp garantiza que la terminación, wlp no lo hace.
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.
Datos:Q9062168
Agosto 03, 2021
precondición, libre, más, débil, inglés, weakest, liberal, precondition, extensión, concepto, precondición, más, débil, dijkstra, para, probar, programas, ordenador, mientras, garantiza, terminación, hace, referencias, editarmarcello, bonsangue, joost, weakest. La Precondicion libre mas debil en ingles weakest liberal precondition wlp es una extension del concepto de la precondicion mas debil de E W Dijkstra para probar en programas de ordenador Mientras wp garantiza que la terminacion wlp no lo hace Referencias EditarMarcello M Bonsangue y Joost N Kok The weakest precondition calculus Recursion and duality Aspectos formales de la Informatica 6 6 788 800 November 1994 DOI 10 1007 BF01213603 Datos Q9062168Obtenido de https es wikipedia org w index php title Precondicion libre mas debil amp oldid 117391137, wikipedia, wiki, leyendo, leer, libro, biblioteca,
