simasgrilo/BPLC

pi-lib (formely BPLC) is a library of basic programming languages constructs whose semantics are formally specified as pi-automata. Therefore, to give semantics to a programming language means to relate constructions of the given language with the constructs of pi-lib. It is implemented in the Maude language.

Makefile