✦ LIBER ✦

Proving pointer programs in higher-order logic

✍ Scribed by Farhad Mehta; Tobias Nipkow

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated verification of pointer progra

✍ Wang, Zhifang ;Chen, Yiyun ;Wang, Zhenming ;Hua, Baojian 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 534 KB

Adapting functional programs to higher o

✍ Scott Owens; Konrad Slind 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 559 KB

[Lecture Notes in Computer Science] Theo

✍ Gunter, Elsa L.; Felty, Amy 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 813 KB

Proving total correctness of nondetermin

✍ R. J. R. Back 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 886 KB

CERES in higher-order logic

✍ Stefan Hetzl; Alexander Leitsch; Daniel Weller 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 450 KB

An observationally complete program logi

✍ Honda, Kohei; Yoshida, Nobuko; Berger, Martin 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 496 KB