Pages that link to "Item:Q5055735"
From MaRDI portal
The following pages link to Transforming strongly sequential rewrite systems with constructors for efficient parallel execution (Q5055735):
Displaying 5 items.
- Transformations and confluence for rewrite systems (Q672232) (← links)
- Efficient simulation of forward-branching systems with constructor systems (Q674754) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Classes of equational programs that compile into efficient machine code (Q5055738) (← links)
- An abstract concurrent machine for rewriting (Q5096204) (← links)