Pages that link to "Item:Q2508826"
From MaRDI portal
The following pages link to Translation of algebraic programs into executable codes (Q2508826):
Displaying 5 items.
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Code migration and program maintainability -- A categorical perspective (Q1603495) (← links)
- RUNCIBLE—algebraic translation on a limited computer (Q3262546) (← links)
- Transforming Source Code to Mathematical Relations for Performance Evaluation (Q5377239) (← links)