How to prove a compiler correct

Lobsters·15 points·dbp·over 8 years ago·dbp.io

Read the full article at dbp.io →

#compiler #prove #correct #compiler correct #plt #formalmethods

Related stories

mir: A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIRgithub.com
Lobsters · 10 points · about 3 years ago
Show HN: M0saic – deterministic video compiler (CLI, web, desktop)m0saic.io
Hacker News · 1 points · 10 days ago
Show HN: Clx 0.4.0 – native compiler for Luasamyeyo.github.io
Hacker News · 2 points · 1 day ago
CAPTCHAs don't prove you're human – they prove you're Americanshkspr.mobi
Hacker News · 64 points · 5 days ago
Show HN: NetWasm – Independent .NET Compiler/Runtime (82.5 KB Hello World in C#)playground.netwasm.com
Hacker News · 5 points · 1 day ago
The wasted potential of Haskell: Language & Compileryoutube.com
Lobsters · 2 points · about 6 hours ago

Related topics

rust222 typescript41 ai2051 source267 video379 native90 machine74 x2f304 browser177 development102 programming309 without129