ATERM
From MaRDI portal
swMATH3160MaRDI QIDQ15692FDOQ15692
Author name not available (Why is that?)
Official website: http://www.program-transformation.org/Tools/ATermLibrary
Cited In (57)
- 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
- Title not available (Why is that?)
- Generalizing DPLL and satisfiability for equalities
- Just-in-time: on strategy annotations
- Lock-free parallel and concurrent garbage collection by mark\&sweep
- Title not available (Why is that?)
- A rewriting framework for rule-based programming dynamic applications
- Title not available (Why is that?)
- Programmed strategies for program verification
- A \(\rho\)-calculus of explicit constraint application
- Manipulating algebraic specifications with term-based and graph-based representations
- Title not available (Why is that?)
- A survey of rewriting strategies in program transformation systems
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- APS-1
- LPL software
- Title not available (Why is that?)
- APS
- JITty
- Marvin
- Sparkle
- UniForM
- ASF+SDF
- EufDPLL
- TXL
- CDuce
- SmallEiffel
- KIDS
- Symbolic Reachability for Process Algebras with Recursive Data Types
- Compiler Construction
- A survey of strategies in rule-based program transformation systems
- mCRL
- Castor
- EufDPLL -- a tool to check satisfiability of equality logic formulas
- Translation of algebraic programs into executable codes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theory and practice of unparsed patterns for metacompilation
- Program transformation with scoped dynamic rewrite rules
- A rewriting approach to binary decision diagrams
- Title not available (Why is that?)
- A database approach to distributed state-space generation
- Artificial Intelligence and Symbolic Computation
- Title not available (Why is that?)
- A database approach to distributed state space generation
- An account of implementing applicative term rewriting
- Canonical abstract syntax trees
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
This page was built for software: ATERM
