ASF+SDF
From MaRDI portal
Cited in
(58)- scientific article; zbMATH DE number 1954121 (Why is no real title available?)
- 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
- Declarative rewriting through circular nonterminal attributes
- The third rewrite engines competition
- 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
- HasCasl
- COBOL
- Stratego
- CoFI
- JastAdd
- ELAN
- CASL
- TinkerType
- LISA
- ATERM
- Rascal
- Polyp
- Veriflog
- Fudgets
- JITty
- Marvin
- Tom
- XCentric
- TXL
- CITP
- CLP(Flex)
- mCRL
- Castor
- SableCC
- RACR
- CobolTransformer
- GDK
- 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
- Automated deadlock detection in synchronized reentrant multithreaded call-graphs
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- scientific article; zbMATH DE number 1324646 (Why is no real title available?)
- Programmable rewriting strategies in Haskell (white paper)
- scientific article; zbMATH DE number 1231662 (Why is no real title available?)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- scientific article; zbMATH DE number 2087566 (Why is no real title available?)
- An account of implementing applicative term rewriting
- Programming Languages and Systems
- An NSF proposal
- scientific article; zbMATH DE number 2087565 (Why is no real title available?)
This page was built for software: ASF+SDF
