DynSem [](https://travis-ci.org/metaborg/dynsem)
June 30, 2016 ยท View on GitHub
DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.
June 30, 2016 ยท View on GitHub
DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.