KIDS
From MaRDI portal
Cited in
(16)- A sheaf-theoretic approach to pattern matching and related problems
- Synthesis of sorting algorithms using multisets in \textit{Theorema}
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
- Fiat: deductive synthesis of abstract data types in a proof assistant
- On methods for safe introduction of operations
- A survey of rewriting strategies in program transformation systems
- Linear congruence equations for the solutions of the N-queens problem
- An abstract formalization of correct schemas for program synthesis
- ALISA
- ATERM
- TAMPR
- TXL
- DTRE
- A survey of strategies in rule-based program transformation systems
- Algorithm synthesis by lazy thinking: using problem schemes
- Program development schemata as derived rules
This page was built for software: KIDS
