Pages that link to "Item:Q1103365"
From MaRDI portal
The following pages link to The Munich project CIP. Volume II: The program transformation system CIP- S (Q1103365):
Displayed 6 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- A case study in transformational design of concurrent systems (Q5044728) (← links)
- Axiomatization of a functional logic language (Q5096190) (← links)
- Interfaces between languages for communicating systems (Q5204354) (← links)