christianobraga / piframework Goto Github PK

The Π framework aims at being a simple formal framework for compiler construction. It is comprised of Π IR and Π automata. The Π IR component is comprised of basic programming languages constructs whose semantics are formally specified in Π automata. To construct a compiler for a programming language one simply needs to define the Π denotations of the statements of the given programming language in terms of Π IR constructions.