[[parser]] [[compiler]] ---RT @ireneistathe 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]]?
@theruran bridging to [[Irenes]]
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.