Pages that link to "Item:Q5055762"
From MaRDI portal
The following pages link to Program transformation and rewriting (Q5055762):
Displaying 12 items.
- A simple calculus for program transformation (inclusive of induction) (Q578898) (← links)
- Program transformation by solving equations (Q756436) (← links)
- An NSF proposal (Q815007) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Origin tracking (Q1322842) (← links)
- Convergence of program transformers in the metric space of trees (Q1566913) (← links)
- Pattern eliminating transformations (Q2119103) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29--December 1, 1999 (Q2743162) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- Monads, indexes and transformations (Q5044745) (← links)
- The next 700 program transformers (Q6102254) (← links)