An abstract concurrent machine for rewriting

DOI10.1007/3-540-53162-9_48zbMath1493.68173OpenAlexW1512163617MaRDI QIDQ5096204

Naomi Lindenstrauss, Nachum Dershowitz

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_48

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

Concurrent garbage collection for concurrent rewriting, A compositional semantic basis for the analysis of equational Horn programs

Cites Work

• An implementation of narrowing
• Self-Adjusting Heaps
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
• Unnamed Item
• Unnamed Item
• Unnamed Item