✦ LIBER ✦

Predicate-transformer semantics of general recursion

✍ Scribed by Wim H. Hesselink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A general proof rule for procedures in p

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

General predicate transformer and the se

✍ Jifeng He 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 895 KB

Predicate Transformers for Recursive Pro

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

A recursion theorem for predicate transf

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

Regular approximations of recursive pred

✍ R. I. Freidzon 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 518 KB

Predicate transformer semantics: Ernest

✍ David Schmidt 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 237 KB