The Meta-Environment - Documentation
Documentation of the Meta-Environment
Getting started...
Syntax Analysis with SDF ...
Fact Extraction and Program Transformation with ASF+SDF ...
- Quick Introduction to Term Rewriting
(html,
pdf,
changes)
- ASF+SDF by example
(html,
pdf,
changes)
- Writing Language Definitions in ASF+SDF
(html,
pdf,
changes)
- The Language Specification Formalism ASF+SDF
(html,
pdf,
changes)
- An explanation of error messages of ASF
(html,
pdf,
changes)
- [Slides] Introduction to ASF+SDF (pdf,
odp)
Formatting with Pandora ...
Relational Fact Analysis with Rscript ...
- Rscript --- a Relational Approach to Software Analysis
(html,
pdf,
changes)
- [Slides] Rscript: a Relational Approach to Program and System Understanding (pdf,
odp)
The Meta-Environment ...
Implementation Technologies ...
- The ATerm Programming Guide
(html,
pdf,
changes)
- Performance Comparison of the Java Implementation of ATerms and
(html,
pdf,
changes)
- ATerm SAF: A High Performance Streamable Format
(html,
pdf,
changes)
- docGuide to ToolBus Programming
(html,
pdf,
changes)
- [Slides] Introduction to the ToolBus Coordination Architecture (pdf,
odp)
- [Slides] The Java backend of Apigen (pdf)
- [Outdated] ATerm reference manual (pdf)
- [Outdated] ToolBus Programming Guide (for the C-based ToolBus) (pdf)
- The ToolBusNG? 's Viewer Framework
(html,
pdf,
changes)
Software Development...
Project Documentation ...