Origin tracking

DOI10.1016/S0747-7171(06)80004-0MaRDI QIDQ1322842zbMATH OpenOpenAlexFDO

Authors Arie van Deursen, P. Klint, Frank Tip

Publication date 9 May 1994

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(06)80004-0

zbMATH Keywords

term rewritingformal language specificationsinteractive programming environmentslanguage-specific debuggersorigin tracking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Descendants and origins in term rewriting.
• Program transformation and rewriting
• Exploring conditional rewriting logic computations
• Term rewriting with type-safe traversal functions
• Trace rewriting systems

Cites work

• scientific article; zbMATH DE number 4074466 (Why is no real title available?)
• scientific article; zbMATH DE number 4074517 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• scientific article; zbMATH DE number 862937 (Why is no real title available?)
• A graph reduction approach to incremental term rewriting
• Computing in systems described by equations
• Conditional rewrite rules: Confluence and termination
• Origin tracking

Cited in

(11)

• Source-tracking unification
• A survey of rewriting strategies in program transformation systems
• Decision problems of tree transducers with origin
• Linking theorems for tree transducers
• Optimizing term rewriting with creeper trace transducers
• Generalised Voronoi tessellation for generating microstructural finite element models with controllable grain-size distributions and grain aspect ratios
• A survey of strategies in rule-based program transformation systems
• Exploring conditional rewriting logic computations
• Constructing format-preserving printing from syntax-directed definitions
• Decision problems of tree transducers with origin
• Origin tracking

This page was built for publication: Origin tracking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1322842)