Select a tag to browse associated projects and drill deeper into the tag cloud.
pi-translate
No analysis available
π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.
From there, it is possible to further process the resulting expressions; the default plugin will try to produce a name-bounded version(*) and, on request, the accompanying
Mostly written in language not available
Licenses:
gpl3_or_l...