The following pages link to (Q2778890):
Displayed 6 items.
- Stratego (Q13999) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies (Q853766) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)