ASF+SDF
From MaRDI portal
Cited in
(58)- HasCasl
- Typed generic traversal with term rewriting strategies
- COBOL
- Stratego
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CoFI
- JastAdd
- TinkerType
- ELAN
- CASL
- LISA
- ATERM
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- Declarative rewriting through circular nonterminal attributes
- Rascal
- Generation of abstract programming interfaces from syntax definitions
- Manipulating algebraic specifications with term-based and graph-based representations
- Veriflog
- Polyp
- Zipping strategies and attribute grammars
- Tom
- XCentric
- Fudgets
- Marvin
- JITty
- TXL
- Incremental programming language development
- An action environment
- Automated generation of program translation and verification tools using annotated grammars
- ASF+SDF parsing tools applied to ELAN
- Language prototyping: An algebraic specification approach
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- Programmable rewriting strategies in Haskell (white paper)
- An account of implementing applicative term rewriting
- Domain-Specific Language Design Requires Feature Descriptions
- A Rewriting Logic Approach to Type Inference
- Automated deadlock detection in synchronized reentrant multithreaded call-graphs
- Minimal tree language extensions: a keystone of XML type compatibility and evolution
- CITP
- CLP(Flex)
- mCRL
- scientific article; zbMATH DE number 1231662 (Why is no real title available?)
- scientific article; zbMATH DE number 1324646 (Why is no real title available?)
- Castor
- SableCC
- scientific article; zbMATH DE number 1954121 (Why is no real title available?)
- RACR
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- scientific article; zbMATH DE number 2087565 (Why is no real title available?)
- scientific article; zbMATH DE number 2087566 (Why is no real title available?)
- The third rewrite engines competition
- GDK
- CobolTransformer
- Programming Languages and Systems
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- Architectural modifications to deployed software
- An NSF proposal
- Anti-patterns for rule-based languages
This page was built for software: ASF+SDF
