Pages that link to "Item:Q1183780"
From MaRDI portal
The following pages link to Program annotation and transformation (Q1183780):
Displaying 5 items.
- Transformational approach to program concretization (Q808279) (← links)
- Description and improvement of iterative program transformations (Q1065540) (← links)
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- Annotated program transformations (Q3975938) (← links)
- Program transformation and rewriting (Q5055762) (← links)