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