scientific article; zbMATH DE number 108494
From MaRDI portal
Publication:4023948
zbMATH Open0756.68089MaRDI QIDQ4023948FDOQ4023948
Authors: Susanne Biundo 
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Recommendations
- Automated synthesis of recursive programs from a \(\forall\exists\) logical specification
- Deductive and inductive synthesis of equational programs
- scientific article; zbMATH DE number 3880144
- An approach to automatic deductive synthesis of functional programs
- scientific article; zbMATH DE number 3934387
Cited In (26)
- Title not available (Why is that?)
- Conjecture synthesis for inductive theories
- 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
- Title not available (Why is that?)
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Algorithm synthesis by lazy thinking: examples and implementation in Theorema
- Automatic Deductive Synthesis of Lisp Programs in the System ALISA
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specification methods and partial construction of theory by computer
- Title not available (Why is that?)
- 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
- Automated synthesis of induction axioms for programs with second-order recursion
- Automatizing termination proofs of recursively defined functions
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Middle-out reasoning for synthesis and induction
- 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)
