/dynsem

DynSem

Primary LanguageJavaApache License 2.0Apache-2.0

DynSem Build Status

DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.