KIDS

swMATH15441MaRDI QIDQ27330FDOQ27330

Author name not available (Why is that?)

Official website: doi:10.1109/32.58788

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
• A survey of strategies in rule-based program transformation systems
• DTRE
• Algorithm synthesis by lazy thinking: using problem schemes
• Program development schemata as derived rules

This page was built for software: KIDS