Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]
(
mpi-sws.org
)
18 points
by
gkuan
on June 25, 2015
|
hide
|
past
|
favorite
|
3 comments
kungfooman
on June 25, 2015
[–]
Too theoretical, needs something practical in browser to live test.
cyrus_
on June 26, 2015
|
parent
|
next
[–]
I don't know about running them in a browser, but the related projects CakeML [1] and CompCert [2] are both pretty easy to download and run, and very featureful.
[1]
https://cakeml.org/
[2]
http://compcert.inria.fr/compcert-C.html
Retra
on June 26, 2015
|
parent
|
prev
[–]
So make it. You've got the theory right there.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
