ATERM
From MaRDI portal
Cited in
(68)- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- Generation of abstract programming interfaces from syntax definitions
- Warm fusion in Stratego: A case study in generation of program transformation systems
- GXL: a graph-based standard exchange format for reengineering
- scientific article; zbMATH DE number 2018595 (Why is no real title available?)
- Generalizing DPLL and satisfiability for equalities
- Just-in-time: on strategy annotations
- Lock-free parallel and concurrent garbage collection by mark\&sweep
- scientific article; zbMATH DE number 2079679 (Why is no real title available?)
- A rewriting framework for rule-based programming dynamic applications
- A \(\rho\)-calculus of explicit constraint application
- Programmed strategies for program verification
- Manipulating algebraic specifications with term-based and graph-based representations
- scientific article; zbMATH DE number 1956456 (Why is no real title available?)
- A survey of rewriting strategies in program transformation systems
- scientific article; zbMATH DE number 2043545 (Why is no real title available?)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- CASL: the Common Algebraic Specification Language.
- ASF+SDF parsing tools applied to ELAN
- An action compiler targeting standard ML
- Elkhound
- HasCasl
- JAVAVIS
- APS-1
- Stratego
- CoFI
- GraphXML
- SmartTools
- BarcelogicTools
- ELAN
- ToolBus
- BRNGLR
- E-LOTOS
- TAMPR
- LPL software
- APS
- JITty
- Marvin
- Sparkle
- UniForM
- ASF+SDF
- EufDPLL
- TXL
- CDuce
- SmallEiffel
- KIDS
- mCRL
- Castor
- scientific article; zbMATH DE number 1693505 (Why is no real title available?)
- scientific article; zbMATH DE number 1722718 (Why is no real title available?)
- scientific article; zbMATH DE number 2090085 (Why is no real title available?)
- Symbolic Reachability for Process Algebras with Recursive Data Types
- A survey of strategies in rule-based program transformation systems
- Compiler Construction
- EufDPLL -- a tool to check satisfiability of equality logic formulas
- Translation of algebraic programs into executable codes
- scientific article; zbMATH DE number 1617293 (Why is no real title available?)
- scientific article; zbMATH DE number 2013609 (Why is no real title available?)
- Theory and practice of unparsed patterns for metacompilation
- Program transformation with scoped dynamic rewrite rules
- A rewriting approach to binary decision diagrams
- scientific article; zbMATH DE number 2172806 (Why is no real title available?)
- A database approach to distributed state-space generation
- Artificial Intelligence and Symbolic Computation
- scientific article; zbMATH DE number 2087566 (Why is no real title available?)
- A database approach to distributed state space generation
- An account of implementing applicative term rewriting
- Canonical abstract syntax trees
This page was built for software: ATERM
