scientific article; zbMATH DE number 1956456

zbMath1032.68920MaRDI QIDQ4417783

Christophe Ringeissen, Pierre-Etienne Moreau, Marian Vittek

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220061.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items

GC\(^{2}\): a generational conservative garbage collector for the ATERM library, A \(\rho\)-calculus of explicit constraint application, Pattern matching for the masses using custom notations, Anti-patterns for rule-based languages, Proving weak properties of rewriting, Termination of Priority Rewriting, Term-graph Rewriting in Tom Using Relative Positions, Canonical Abstract Syntax Trees

Uses Software

• ATERM
• Haskell
• Eiffel