Automatic Construction of Java Programs from Functional Program Specifications
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2015, Vol 6, Issue 4
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 input functional program specification involves two phases. The theorem prover is used to construct a higher order functional (HOF) program from the input specification expressed as an existential theorem. A set of mapping rules for a Programming Language Translation System (PLTS) is defined for translating functional expressions to their semantic equivalent Java code. The generated functional program is translated into intermediate Java code in the form of a Java function using the PLTS module. The generated Java function requires a small refinement to obtain a syntactically correct Java function. This Java function is encapsulated within a user defined Java class as a member operation, which is invoked within a Java application class consisting of a main function by creating objects resulting in an executable Java program. The constructed functional program and the generated Java program both are correct with respect to the input specification as they produce the same output.
Authors and Affiliations
Md. Kabir
Keywords
Related Articles
- EP ID EP132443
- DOI 10.14569/IJACSA.2015.060409
- Views 92
- Downloads 0
Segmentation of Brain Tumor in Multimodal MRI using Histogram Differencing & KNN
Tumor segmentation inside the brain MRI is one of the trickiest and demanding subjects for the research community due to the complex nature and structure of the human brain and the different types of abnormalities that g...
Agile Methods Selection Model: A Grounded Theory Study
Agile methods adoption has increased in recent years because of its contribution to the success rate of project development. Nevertheless, the success rate of projects implemented using Agile methods has not completely r...
Solving Nonlinear Eigenvalue Problems using an Improved Newton Method
Finding approximations to the eigenvalues of non-linear eigenvalue problems is a common problem which arises from many complex applications. In this paper, iterative algo-rithms for finding approximations to the eigenval...
A Comparative Study of Databases with Different Methods of Internal Data Management
The purpose of this paper is to present a comparative study between a non-relational MongoDB database and a relational Microsoft SQL Server database in the case of an unstructured representation of data, in XML or JSON f...
A study on Feature Selection Techniques in Bio-Informatics
The availability of massive amounts of experimental data based on genome-wide studies has given impetus in recent years to a large effort in developing mathematical, statistical and computational techniques to infer biol...