KIDS
From MaRDI portal
Software:27330
swMATH15441MaRDI QIDQ27330FDOQ27330
Author name not available (Why is that?)
Cited In (11)
- 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
- A survey of strategies in rule-based program transformation systems
- Title not available (Why is that?)
- Program development schemata as derived rules
This page was built for software: KIDS
