Wednesday, Oct 16
LVCA: Language Verification, Construction, and Analysis
made by joel, submitted by nicholasbs
LVCA is a tool for building programming languages with a small core. You create a language by specifying (1) its syntax, (2) its statics (i.e., typechecking rules), (3) its dynamics (i.e.m, how it evaluates), and (4) its concrete syntax.