scientific article
From MaRDI portal
Publication:2764099
zbMath0977.68762MaRDI QIDQ2764099
No author found.
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2027/20270365
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Generation of abstract programming interfaces from syntax definitions ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ A Rewriting Logic Approach to Type Inference ⋮ Zipping strategies and attribute grammars ⋮ Automated generation of program translation and verification tools using annotated grammars ⋮ Typed generic traversal with term rewriting strategies ⋮ CLP(H):Constraint logic programming for hedges ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Declarative rewriting through circular nonterminal attributes ⋮ Anti-patterns for rule-based languages ⋮ Incremental programming language development ⋮ On the effectiveness of higher-order logic programming in language-oriented programming ⋮ ASF+SDF ⋮ An Account of Implementing Applicative Term Rewriting
Uses Software
