Origin tracking

DOI10.1016/S0747-7171(06)80004-0zbMath0804.68088OpenAlexW2912858146MaRDI QIDQ1322842

Frank Tip, Arie van Deursen, Paul Klint

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) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items

Constructing format-preserving printing from syntax-directed definitions ⋮ Decision Problems of Tree Transducers with Origin ⋮ Linking theorems for tree transducers ⋮ Decision problems of tree transducers with origin ⋮ 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 ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ Source-tracking unification ⋮ Origin tracking

Cites Work

• Conditional rewrite rules: Confluence and termination
• Computing in systems described by equations
• Origin tracking
• A graph reduction approach to incremental term rewriting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item