Transforming strongly sequential rewrite systems with constructors for efficient parallel execution

DOI10.1007/3-540-51081-8_122OpenAlexW1599867734MaRDI QIDQ5055735

R. Chandra Guru Sekar, I. V. Ramakrishnan, Shaunak R. Pawagi

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-51081-8_122

Mathematics Subject Classification ID

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

Related Items (2)

An abstract concurrent machine for rewriting ⋮ Transformations and confluence for rewrite systems

Cites Work

• Unnamed Item
• On the correspondence between two classes of reduction systems
• A refinement of strong sequentiality for term rewriting with constructors
• Computing in systems described by equations
• Programming with Equations

This page was built for publication: Transforming strongly sequential rewrite systems with constructors for efficient parallel execution