[[parser]] [[compiler]]
---
RT @ireneista
the book we'd recommend these days is Andrew Appel's "Modern Compiler Implementation in ML" - we'd specifically recommend that one, not the Java or C ones, even if you don't know the ML language.

cs.princeton.edu/~appel/modern
twitter.com/ireneista/status/1

Follow

@flancian I am still looking for the established technique for provably-correct compilers. One method I found uses [[action semantics]]. Is there a book for [[provably-correct compilers]]?

Sign in to participate in the conversation
hackers.town

A bunch of technomancers in the fediverse. Keep it fairly clean please. This arcology is for all who wash up upon it's digital shore.