The following pages link to (Q3996676):
Displaying 12 items.
- Normal design algebra (Q844885) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- A fast pattern matching algorithm derived by transformational and assertional reasoning (Q911750) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Optimizing the stack size of recursive functions (Q1749239) (← links)
- Totally correct logic program transformations via well-founded annotations (Q2271905) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- An algebraic approach to population-based evolutionary algorithm generation (Q2520618) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
