✦ LIBER ✦

Inductive data types for predicate transformers

✍ Scribed by Oege de Moor

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A recursion theorem for predicate transf

✍ David A. Naumann 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 565 KB

Predicate Transformers for Recursive Pro

✍ Wim H. Hesselink 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 177 KB

A higher-order unification algorithm for

✍ Qingping Tan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 626 KB

A predicate transformer for the progress

✍ Rutger M. Dijkstra; Beverly A. Sanders 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 630 KB

A general proof rule for procedures in p

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

Data structures for order-sensitive pred

✍ Desh Ranjan; Enrico Pontelli; Gopal Gupta 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 142 KB