scientific article; zbMATH DE number 1693507
From MaRDI portal
Publication:2764099
Recommendations
Cited in
(20)- scientific article; zbMATH DE number 3881872 (Why is no real title available?)
- Generation of abstract programming interfaces from syntax definitions
- Anti-patterns for rule-based languages
- Typed generic traversal with term rewriting strategies
- Manipulating algebraic specifications with term-based and graph-based representations
- Declarative rewriting through circular nonterminal attributes
- A high level language based system for cross-assembler definition
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- ASF+SDF parsing tools applied to ELAN
- Bee: an integrated development environment for the Scheme programming language
- Incremental programming language development
- ASF+SDF
- Automated generation of program translation and verification tools using annotated grammars
- On the effectiveness of higher-order logic programming in language-oriented programming
- scientific article; zbMATH DE number 1693505 (Why is no real title available?)
- Zipping strategies and attribute grammars
- scientific article; zbMATH DE number 2087555 (Why is no real title available?)
- A Rewriting Logic Approach to Type Inference
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- An account of implementing applicative term rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764099)