Automatic Construction of Java Programs from Functional Program Specifications
Published in Greater South Information System • Jan 1, 2015
Authors:
Md. Humayun
Abstract
This paper presents a novel approach to construct Java programs automatically from the input functional program specifications on natural numbers from the constructive proofs of the input specifications using an inductive theorem prover called Poiti′n.The construction of a Java program from the inpu...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!