✦ LIBER ✦

A List-Machine Benchmark for Mechanized Metatheory

✍ Scribed by Andrew W. Appel, Robert Dockins, Xavier Leroy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generalized predictive control design

✍ Ye Fu; G.A. Dumont 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 304 KB

Development of a benchmark drug list for

✍ W. Tong 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 65 KB

Lektor-a list-oriented, machine-independ

✍ Helmut Hummel 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 947 KB

A backward approach in list scheduling a

✍ Yeong-Dae Kim 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 875 KB

A mechanical Turing machine: blueprint f

✍ Shapiro, E. 📂 Article 📅 2012 🏛 The Royal Society 🌐 English ⚖ 494 KB

Development and benchmarking of a mechan

✍ Petr Petkevich; Konstantin Mikityuk; Paul Coddington; Rakesh Chawla 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 840 KB