✦ LIBER ✦

Higher-Order Separation Logic in Isabelle/HOLCF

✍ Scribed by Carsten Varming; Lars Birkedal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CERES in higher-order logic

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

Proving pointer programs in higher-order

✍ Farhad Mehta; Tobias Nipkow 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Comparing Higher-Order Encodings in Logi

✍ Roberto Bruni; Furio Honsell; Marina Lenisa; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 271 KB

Embedding and automating conditional log

✍ Christoph Benzmüller, Dov Gabbay, Valerio Genovese, Daniele Rispoli 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 416 KB

[Lecture Notes in Computer Science] Theo

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

Automatic verification of reduction tech

✍ Abed, Sa’ed; Ait Mohamed, Otmane; Al Sammane, Ghiath 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 482 KB