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