ATERM

swMATH3160MaRDI QIDQ15692FDOQ15692

Author name not available (Why is that?)

Described by source

• GC\(^{2}\): a generational conservative garbage collector for the ATERM library

Cited In (40)

• 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
• A Database Approach to Distributed State-Space Generation
• 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
• EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic Reachability for Process Algebras with Recursive Data Types
• Compiler Construction
• A survey of strategies in rule-based program transformation systems
• 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?)
• 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