✦ LIBER ✦

Weakest preconditions and cumulative subgoal fulfillment

✍ Scribed by Braude, Eric J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An exercise in weakest preconditions

✍ Robin Whitty 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 181 KB

Weakest precondition semantics for time

✍ D Scholefield; H.S.M Zedan 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 616 KB

The weakest precondition calculus: Recur

✍ Marcello M. Bonsangue; Joost N. Kok 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 794 KB

A weakest precondition semantics for com

📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 143 KB

Preconditions for efficiency and afforda

✍ van de Ven, Wynand P.M.M.; Beck, Konstantin; Buchner, Florian; Schokkaert, Erik; 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 383 KB

Intermittent warm aortic cross-clamping

✍ Anwar S. Abd-Elfattah; Andrew S. Wechsler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 170 KB