Pages that link to "Item:Q1595470"
From MaRDI portal
The following pages link to Efficiency by incrmentalization: An introduction (Q1595470):
Displaying 7 items.
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- Efficient handling of data structures in definitional languages (Q1102735) (← links)
- Complexity models for incremental computation (Q1331947) (← links)
- Dynamic programming via static incrementalization (Q1404292) (← links)
- Systematic derivation of incremental programs (Q1892179) (← links)
- Incremental programming language development (Q2485088) (← links)
- Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees (Q4916235) (← links)