✦ LIBER ✦

Language-Based Program Verification via Expressive Types

✍ Scribed by Martin Sulzmann; Răzvan Voicu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Base-type languages: Program design by u

✍ A. N. Prikhod'ko 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 779 KB

BabyJ: From Object Based to Class Based

✍ Christopher Anderson; Sophia Drossopoulou 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 280 KB

RETRACTED ARTICLE: Study on the expressi

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 300 KB

Erratum to: Retraction Note: Study on th

✍ Limin Ma; Xiangqian Jiang; Jinxing Wang; Zhengao Xu; Zhu Li 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 40 KB