The following pages link to ATERM (Q15692):
Displaying 40 items.
- Lock-free parallel and concurrent garbage collection by mark\&sweep (Q858913) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- A rewriting approach to binary decision diagrams (Q1349250) (← links)
- Warm fusion in Stratego: A case study in generation of program transformation systems (Q1601856) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Theory and practice of unparsed patterns for metacompilation (Q2266943) (← links)
- An action compiler targeting standard ML (Q2382609) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- GXL: a graph-based standard exchange format for reengineering (Q2492949) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- ASF+SDF parsing tools applied to ELAN (Q2703695) (← links)
- (Q2722018) (← links)
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories (Q2740996) (← links)
- (Q2764096) (← links)
- (Q2778890) (← links)
- Just-in-time: on strategy annotations (Q2841222) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- A database approach to distributed state space generation (Q2866323) (← links)
- An account of implementing applicative term rewriting (Q2866805) (← links)
- Canonical abstract syntax trees (Q2873780) (← links)
- A Database Approach to Distributed State-Space Generation (Q3069997) (← links)
- (Q4417783) (← links)
- (Q4437004) (← links)
- (Q4440343) (← links)
- (Q4447249) (← links)
- (Q4471726) (← links)
- (Q4680193) (← links)
- (Q4738383) (← links)
- (Q4808759) (← links)
- EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas (Q4982077) (← links)
- Compiler Construction (Q5308731) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464719) (← links)
- (Q5472912) (← links)
- (Q5486053) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
