DynSem

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

Table of Contents

• 1. Reference
  • 1.1. Modules
  • 1.2. Term signatures
  • 1.3. Reduction rules
  • 1.4. Built-in data types
  • 1.5. Configuration file
• 2. Tutorials
  • 2.1. Getting Started with DynSem
  • 2.2. Run an interpreter as a daemon
  • 2.3. Testing & continuous integration
• 3. Support
  • 3.1. Getting help and reporting bugs
  • 3.2. Feature requests
  • 3.3. Contributing