scientific article; zbMATH DE number 108494
From MaRDI portal
Publication:4023948
Recommendations
Cited in
(30)- Using computer algebra techniques for the specification, verification and synthesis of recursive programs
- Automatic synthesis of typed -programs on term algebras
- Automated synthesis of recursive programs from a logical specification
- Automatizing termination proofs of recursively defined functions
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
- Middle-out reasoning for synthesis and induction
- An approach to automatic deductive synthesis of functional programs
- Algorithm synthesis by lazy thinking: examples and implementation in Theorema
- Zeno: an automated prover for properties of recursive data structures
- Specification methods and partial construction of theory by computer
- scientific article; zbMATH DE number 3880144 (Why is no real title available?)
- scientific article; zbMATH DE number 4164172 (Why is no real title available?)
- Automatic Deductive Synthesis of Lisp Programs in the System ALISA
- Automatic generation of generalization lemmas for proving properties of tail-recursive definitions
- scientific article; zbMATH DE number 3916263 (Why is no real title available?)
- scientific article; zbMATH DE number 408777 (Why is no real title available?)
- scientific article; zbMATH DE number 465521 (Why is no real title available?)
- scientific article; zbMATH DE number 572175 (Why is no real title available?)
- Conjecture synthesis for inductive theories
- scientific article; zbMATH DE number 2040721 (Why is no real title available?)
- scientific article; zbMATH DE number 3995084 (Why is no real title available?)
- scientific article; zbMATH DE number 3997144 (Why is no real title available?)
- Synthesis of list algorithms by mechanical proving
- On automating the extraction of programs from proofs using product types
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
- Synthesis of induction orderings for existence proofs
- Two examples of computational creativity: ILP multiple predicate synthesis and the `assets' in theorem proving
- Automated synthesis of induction axioms for programs with second-order recursion
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Proving the correctness of recursion-based automatic program transformations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023948)
