DynSem
ΒΆ
DynSem is a domain specific language for the concise specification of dynamic semantics of programming languages.
Table of Contents
DynSem is a domain specific language for the concise specification of dynamic semantics of programming languages.
Table of Contents