✦ LIBER ✦

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

✍ Scribed by Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi

Book ID: 118800594
Publisher: Springer Netherlands
Year: 2011
Tongue: English
Weight: 627 KB
Volume: 49
Category: Article
ISSN: 0168-7433
DOI: 10.1007/s10817-011-9228-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of tail distribution

Formal verification of tail distribution bounds in the HOL theorem prover

✍ Osman Hasan; Sofiène Tahar 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 181 KB

## Abstract Tail distribution bounds play a major role in the estimation of failure probabilities in performance and reliability analysis of systems. They are usually estimated using Markov's and Chebyshev's inequalities, which represent tail distribution bounds for a random variable in terms of it

Balancing situativity and formality: the

Balancing situativity and formality: the importance of relating a formal language to interactive graphics in logic instruction

✍ Jelke van der Pal; Tessa Eysink 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 247 KB

The Role of an Interactive Book Reading

The Role of an Interactive Book Reading Program in the Development of Second Language Pragmatic Competence

✍ Daejin Kim; Joan Kelly Hall 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 266 KB