Spoofax
latest
  • The Spoofax Language Workbench
  • Examples
  • Publications

Tutorials

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

Reference Manual

  • Syntax Definition with SDF3
  • Static Semantics with NaBL2
  • Transformation with Stratego
    • 1. Introduction
    • 2. Terms
    • 3. Running Stratego Programs
    • 4. Term Rewriting
    • 5. Rewriting Strategies
    • 6. Rules and Strategies
    • 7. Strategy Combinators
    • 8. Creating and Analyzing Terms
    • 9. Traversal Strategies
    • 10. Type Unifying Strategies
    • 11. Concrete Object Syntax
    • 12. Dynamic Rules
    • The Stratego Library
      • 1. Introduction
      • 2. Arithmetic Operations
      • 3. Lists
      • 4 Strings
      • 5 Hashtables and Sets
      • 6 I/O
  • Dynamic Semantics with DynSem
  • Editor Services with ESV
  • Language Testing with SPT
  • Building Languages
  • Programmatic API
  • Developing Spoofax

Releases

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

Contributions

  • Contributions
Spoofax
  • Docs »
  • Transformation with Stratego »
  • The Stratego Library
  • Edit on GitHub

The Stratego LibraryΒΆ

  • 1. Introduction
  • 2. Arithmetic Operations
  • 3. Lists
  • 4 Strings
  • 5 Hashtables and Sets
  • 6 I/O
Next Previous

© Copyright 2016-2017, MetaBorg. Revision e136e217.

Built with Sphinx using a theme provided by Read the Docs.