pseuCo Static Semantics

Project information

Collection of type checking, SM and MP detection, and other static semantics (only decaffeinated pseuCo)

Created on

August 04, 2021

Copy SSH clone URLssh://git@dgit.cs.uni-saarland.de:2222/pseuco/pseuco-static-semantics.git
Copy HTTPS clone URLhttps://dgit.cs.uni-saarland.de/pseuco/pseuco-static-semantics.git

Loading