Pages that link to "Item:Q3330483"
From MaRDI portal
The following pages link to The promotion and accumulation strategies in transformational programming (Q3330483):
Displaying 12 items.
- Deaccumulation techniques for improving provability (Q882487) (← links)
- A linear time solution to the single function coarsest partition problem (Q1063420) (← links)
- Derivation of efficient programs for computing sequences of actions (Q1093362) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- A new approach to recursion removal (Q1185010) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- Une charpente de semi-unification (Q3789065) (← links)
- (Q5020646) (← links)
- An efficient algorithm of logic programming with constraint hierarchy (Q5096308) (← links)
- Representing proof transformations for program optimization (Q5210798) (← links)
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)
- Higher-order matching for program transformation (Q5958614) (← links)
