Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present ongoing work on HipSpec, a system for automatically deriving and proving properties about functional programs. HipSpec uses a combination of theory exploration, counter-example testing and inductive theorem proving to automatically generate a set of equational theorems about recursive functions in a program, which are later used as a background theory for proving stated properties about a program. Initial experiments are encouraging; our initial HipSpec prototype already compares favourably to other, similar systems.
['Koen Claessen', 'Moa Johansson', 'Dan Rosén', 'Nicholas Smallbone']
I am writing a research paper on a idea HipSpec: Automating Inductive Proofs of Program Properties
[{"from": "human", "value": "I am writing a research paper on a idea HipSpec: Automating Inductive Proofs of Program Properties"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present ongoing work on HipSpec, a system for automatically deriving and proving properties about functional programs. HipSpec uses a combination of theory exploration, counter-example testing and inductive theorem proving to automatically generate a set of equational theorems about recursive functions in a program, which are later used as a background theory for proving stated properties about a program. Initial experiments are encouraging; our initial HipSpec prototype already compares favourably to other, similar systems."}]