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
An Advanced Technology Selection Model using Neuro Fuzzy Algorithm for Electronic Toll Collection System
Selecting an optimum advanced technology system for an organization is one of the most crucial issues in any industry. Any technology system which makes business process more efficient and business management more...
Categorical Grammars for Processes Modeling
The diversity and heterogeneity of real-world systems makes it impossible to naturally model them only with existing modeling languages. For this reason, models are often constructed using domain specific modeling langua...
A Comparative Study of Mamdani and Sugeno Fuzzy Models for Quality of Web Services Monitoring
This paper presents a comparative study of fuzzy inference system (FIS) with respect to Mamdani and Sugeno FISs to show the accuracy and precision of quality of web service (QoWS) compliance monitoring. We used these two...
A New Motion Planning Framework based on the Quantized LQR Method for Autonomous Robots
This study addresses an argument on the disconnection between the computational side of the robot navigation problem with the control problem including concerns on stability. We aim to constitute a framework that include...
HTCSLQ : Hierarchical Tree Congestion Degree with Speed Sending and Sum Costs Link Quality Mechanism for Wireless Sensor Networks
Wireless Sensor Network (wsn) performances have progressed over the last few years, aiming at expanding the lifetime nodes. Among the important studied parts on wsn is the congestion degree that can be identified by seve...