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 119
- Downloads 0
Performance Analysis of Multilayer Perceptron Neural Network Models in Week-Ahead Rainfall Forecasting
Multilayer perceptron neural network (MLPNN) is considered as one of the most efficient forecasting techniques which can be implemented for the prediction of weather occurrence. As with any machine learning implementatio...
A Real-Time Face Motion Based Approach towards Modeling Socially Assistive Wireless Robot Control with Voice Recognition
The robotics domain has a couple of specific general design requirements which requires the close integration of planning, sensing, control and modeling and for sure the robot must take into account the interactions betw...
Research on Chinese University Students’ Media Images
At present, university students, as the "after 90" and a new generation of young intellectuals, are being paid generally attentions by mass media. Nevertheless, university students’ public images are on a decline as they...
Principle of Duality on Prognostics
The accurate estimation of the remaining useful life (RUL) of various components and devices used in complex systems, e.g., airplanes remain to be addressed by scientists and engineers. Currently, there area wide range o...
Hardware Implementation for the Echo Canceller System based Subband Technique using TMS320C6713 DSP Kit
The acoustic echo cancellation system is very important in the communication applications that are used these days; in view of this importance we have implemented this system practically by using DSP TMS320C6713 Starter...