There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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.
