Extracting a Verified Interpreter from Isabelle/HOL

Lobsters·19 points·amw-zero·about 4 years ago·concerningquality.com

Read the full article at concerningquality.com →

#hol #verified #interpreter #extracting #isabelle #verified interpreter #formalmethods #plt

Related stories

Lambda MicroEggphilipzucker.com
Lobsters · 28 points · 10 days ago
How to prove a compiler correctdbp.io
Lobsters · 15 points · over 8 years ago
Tau Prolog: A Prolog interpreter in JavaScripttau-prolog.org
Lobsters · 15 points · almost 9 years ago
Lean Verified Transformerssrush.github.io
Hacker News · 4 points · 9 days ago
Show HN: 23k Verified 1P Walmart & Target Products with Preserved UPCsgithub.com
Hacker News · 1 points · 11 days ago
A mostly ISO-compliant Prolog interpreter for Unity3Dgithub.com
Lobsters · 2 points · almost 11 years ago

Related topics

plt44 verified12 formalmethods18 interpreter7 extracting4