ASF+SDF
From MaRDI portal
swMATH11316MaRDI QIDQ23262FDOQ23262
Author name not available (Why is that?)
Official website: http://www.meta-environment.org/Meta-Environment/ASF+SDF
Cited In (51)
- Generation of abstract programming interfaces from syntax definitions
- 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
- The third rewrite engines competition
- Declarative rewriting through circular nonterminal attributes
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- An action environment
- ASF+SDF parsing tools applied to ELAN
- Incremental programming language development
- Minimal tree language extensions: a keystone of XML type compatibility and evolution
- Automated generation of program translation and verification tools using annotated grammars
- HasCasl
- Language prototyping: An algebraic specification approach
- JastAdd
- CASL
- Rascal
- Zipping strategies and attribute grammars
- Polyp
- Veriflog
- Fudgets
- JITty
- Marvin
- Tom
- XCentric
- TXL
- CITP
- CLP(Flex)
- mCRL
- Castor
- SableCC
- RACR
- A Rewriting Logic Approach to Type Inference
- CobolTransformer
- GDK
- Automated deadlock detection in synchronized reentrant multithreaded call-graphs
- 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?)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- Title not available (Why is that?)
- 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
