[[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.



@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

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.