Spoofax
latest
  • The Spoofax Language Workbench
  • Examples
  • Publications

Tutorials

  • Installing Spoofax
  • Creating a Language Project
  • Using the API
  • Getting Support

Language Definition Reference

  • Language Definition with Spoofax
  • Abstract Syntax with ATerms
  • Syntax Definition with SDF3
  • Static Semantics with NaBL2
  • Static Semantics with Statix
  • Data-Flow Analysis with FlowSpec
  • Transformation with Stratego
  • Dynamic Semantics with DynSem
    • 1. Reference
    • 2. Tutorials
      • 2.1. Getting Started with DynSem
      • 2.2. Run an interpreter as a daemon
      • 2.3. Testing & continuous integration
    • 3. Support
  • Editor Services with ESV
  • Language Testing with SPT

Language Development Reference

  • Build and Develop Languages
  • Configure Languages
  • Running Languages from Command-line
  • Programmatic API
  • Developing Spoofax

Releases

  • Latest Stable Release
  • Development Release
  • Release Archive
  • Migration Guides

Contributions

  • Contributions
Spoofax
  • Docs »
  • DynSem »
  • 2. DynSem tutorials
  • Edit on GitHub

2. DynSem tutorialsΒΆ

The following DynSem tutorials are available:

  • 2.1. Getting Started with DynSem
    • 2.1.1. The SIMPL language
    • 2.1.2. Your first DynSem module
    • 2.1.3. Context-free semantics
    • 2.1.4. Context-sensitive semantics
    • 2.1.5. Conditional semantics
    • 2.1.6. Semantic libraries using meta-functions
    • 2.1.7. Semantics of functions
    • 2.1.8. Get ready for interpretation
      • A reduction entry-point
      • Configure the interpreter generator
      • Generate interpreter components
    • 2.1.9. Call into Java code
    • 2.1.10. Run a program
  • 2.2. Run an interpreter as a daemon
    • 2.2.1. Requirements
    • 2.2.2. Launching an interpreter daemon
  • 2.3. Testing & continuous integration
    • 2.3.1. Enable JUnit test suite generation
    • 2.3.2. Create test programs
    • 2.3.3. Run tests
    • 2.3.4. Build your language from CLI
    • 2.3.5. Continuous integration with Travis CI

If you have a tutorial or a usage scenario you would like to contribute, head over to the DynSem issue tracker and let us know.

Next Previous

© Copyright 2016-2021, MetaBorg Revision 3bc441fd.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.