ATERM

swMATH3160MaRDI QIDQ15692

No author found.

Described by source

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

Related Items (40)

Generation of abstract programming interfaces from syntax definitions ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A rewriting approach to binary decision diagrams ⋮ An action compiler targeting standard ML ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compiler Construction ⋮ Generalizing DPLL and satisfiability for equalities ⋮ Unnamed Item ⋮ Lock-free parallel and concurrent garbage collection by mark\&sweep ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A \(\rho\)-calculus of explicit constraint application ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A survey of strategies in rule-based program transformation systems ⋮ Unnamed Item ⋮ Theory and practice of unparsed patterns for metacompilation ⋮ GXL: a graph-based standard exchange format for reengineering ⋮ Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application ⋮ Translation of algebraic programs into executable codes ⋮ A Database Approach to Distributed State-Space Generation ⋮ Artificial Intelligence and Symbolic Computation ⋮ EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas ⋮ Just-in-time ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types ⋮ CASL: the Common Algebraic Specification Language. ⋮ Programmed Strategies for Program Verification ⋮ A Database Approach to Distributed State Space Generation ⋮ An Account of Implementing Applicative Term Rewriting ⋮ Warm fusion in Stratego: A case study in generation of program transformation systems ⋮ Canonical Abstract Syntax Trees

This page was built for software: ATERM