ASF+SDF
From MaRDI portal
Software:23262
swMATH11316MaRDI QIDQ23262FDOQ23262
Author name not available (Why is that?)
Cited In (31)
- Generation of abstract programming interfaces from syntax definitions
- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
- Anti-patterns for rule-based languages
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Domain-Specific Language Design Requires Feature Descriptions
- Architectural modifications to deployed software
- Typed generic traversal with term rewriting strategies
- Manipulating algebraic specifications with term-based and graph-based representations
- Declarative rewriting through circular nonterminal attributes
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- An action environment
- ASF+SDF parsing tools applied to ELAN
- Incremental programming language development
- Automated generation of program translation and verification tools using annotated grammars
- Language prototyping: An algebraic specification approach
- Zipping strategies and attribute grammars
- A Rewriting Logic Approach to Type Inference
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programmable rewriting strategies in Haskell (white paper)
- Title not available (Why is that?)
- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- The Third Rewrite Engines Competition
- Title not available (Why is that?)
- CLP(H):Constraint logic programming for hedges
- An account of implementing applicative term rewriting
- Programming Languages and Systems
- Title not available (Why is that?)
- An NSF proposal
- Title not available (Why is that?)
This page was built for software: ASF+SDF