Pages that link to "Item:Q1224418"
From MaRDI portal
The following pages link to A system which automatically improves programs (Q1224418):
Displayed 14 items.
- Efficient memo-table management strategies (Q582879) (← links)
- Program transformation by solving equations (Q756436) (← links)
- Synthetic programming (Q761788) (← links)
- Mixed computation: potential applications and problems for study (Q1169808) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- Stack and locally finite transformations on structures with reversible transitions (Q3332226) (← links)
- (Q3675498) (← links)
- An axiomatic approach to the Korenjak-Hopcroft algorithms (Q3703289) (← links)
- La fonction d'Ackermann : un nouveau mode de dérécursivation (Q3737419) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- A case study in program transformation (Q4109267) (← links)
- (Q4130960) (← links)
- Total unfolding: theory and applications (Q4764611) (← links)