GitHub - ChristianoBraga/PiFramework: 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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 281 Commits
doc		doc
examples/imp		examples/imp
maude		maude
notes		notes
python/imp2		python/imp2
slides/cc		slides/cc
.gitignore		.gitignore
.travis.yml		.travis.yml

About

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 …