✦ LIBER ✦

Program proving: Coroutines

✍ Scribed by M. Clint

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proving correctness of coroutines withou

✍ Edmund Melson Clarke 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 879 KB

Using logic programming and coroutining

✍ Ulrich Bieker; Andreas Neumann 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 945 KB

Bidirectional coroutines

✍ Hanan Samet 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 380 KB

Revisiting coroutines

✍ Moura, Ana Lúcia De; Ierusalimschy, Roberto 📂 Article 📅 2009 🏛 Association for Computing Machinery 🌐 English ⚖ 185 KB

Program proving: Jumps and functions

✍ M. Clint; C. A. R. Hoare 📂 Article 📅 1972 🏛 Springer-Verlag 🌐 English ⚖ 523 KB

A machine program for theorem-proving

✍ Davis, Martin; Logemann, George; Loveland, Donald 📂 Article 📅 1962 🏛 Association for Computing Machinery 🌐 English ⚖ 408 KB