Weakest liberal precondition
- Weakest liberal precondition
A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not.
References
* Marcello M. Bonsangue and Joost N. Kok, [http://dx.doi.org/10.1007/BF01213603 The weakest precondition calculus: Recursion and duality] , "Formal Aspects of Computing", 6(6):788–800, November 1994. DOI 10.1007/BF01213603.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Precondición libre más débil — Saltar a navegación, búsqueda 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… … Wikipedia Español
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
WLP — The initialism WLP may stand for several things, such as the following:*Wafer level package or Chip scale package, a type of integrated circuit (microchip) packaging *Weakest liberal precondition, a computer programming concept *Windows Logo… … Wikipedia
international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… … Universalium
United Kingdom — a kingdom in NW Europe, consisting of Great Britain and Northern Ireland: formerly comprising Great Britain and Ireland 1801 1922. 58,610,182; 94,242 sq. mi. (244,100 sq. km). Cap.: London. Abbr.: U.K. Official name, United Kingdom of Great… … Universalium
Southern Africa — Introduction southernmost region of the African continent, comprising the countries of Angola, Botswana, Lesotho, Malawi, Mozambique, Namibia, South Africa, Swaziland, Zambia, and Zimbabwe. The island nation of Madagascar is excluded… … Universalium