The following pages link to (Q2778890):
Displayed 11 items.
- Stratego (Q13999) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Constructing language processors with algebra combinators (Q608238) (← 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)
- Inductive proof search modulo (Q1037404) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)