Pages that link to "Item:Q3899465"
From MaRDI portal
The following pages link to An Automatic Technique for Selection of Data Representations in SETL Programs (Q3899465):
Displaying 4 items.
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- Automatically replacing indices into parallel arrays with pointers to records (Q1123591) (← links)
- Program derivation with verified transformations — a case study (Q4884666) (← links)
