Pages that link to "Item:Q4932639"
From MaRDI portal
The following pages link to Transformational Programming and the Derivation of Algorithms (Q4932639):
Displaying 10 items.
- Transformation of algorithms written in the form of composition schemes (Q466022) (← links)
- An exercise in transformational programming: Backtracking and Branch-and- Bound (Q808723) (← links)
- Transformational derivation of an improved alias analysis algorithm (Q815001) (← links)
- The Munich project CIP. Volume II: The program transformation system CIP- S (Q1103365) (← links)
- Some aspects of algorithm transformation based on the formalization of information connections (Q2654972) (← links)
- Algorithmic Differentiation of Code with Multiple Context-Specific Activities (Q3133586) (← links)
- Formal program construction by transformations-computer-aided, intuition-guided programming (Q3815517) (← links)
- Program transformation and rewriting (Q5055762) (← links)
- From sequential programs to multi-tier applications by program transformation (Q5276148) (← links)
- Program transformation system based on generalized partial computation (Q5957059) (← links)