Pages that link to "Item:Q1121033"
From MaRDI portal
The following pages link to Towards an algebraic specification of code generation (Q1121033):
Displaying 9 items.
- Code selection by inversion of order-sorted derivors (Q914361) (← links)
- Specification, verification and prototyping of an optimized compiler (Q1346607) (← links)
- Integrating code generation and peephole optimization (Q1822527) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- A program-algebraic approach to eliminating common subexpressions (Q2702106) (← links)
- Stream Fusion for Isabelle’s Code Generator (Q2945639) (← links)
- (Q5173658) (← links)
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709991) (← links)