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 63
- Downloads 0
Hybrid Non-Reference QoE Prediction Model for 3D Video Streaming Over Wireless Networks
With the rapid growth in mobile device users, and increasing demand for video applications, the traffic from 2D/3D video services is expected to account the largest proportion of internet traffics. User’s perceived quali...
Applications of Multi-criteria Decision Making in Software Engineering
Every complex problem now days require multicriteria decision making to get to the desired solution. Numerous Multi-criteria decision making (MCDM) approaches have evolved over recent time to accommodate various applicat...
A Novel Broadcast Scheme DSR-based Mobile Adhoc Networks
Traffic classification seeks to assign packet flows to an appropriate quality of service (QoS). Despite many studies that have placed a lot of emphasis on broadcast communication, broadcasting in MANETs is still a proble...
A Comparative Study of the Iterative Numerical Methods Used in Mine Ventilation Networks
Ventilation is one of the key safety tasks in underground mines. Determination of the airflow through mine openings and ducts is complex and often requires the application of numerical analysis. The governing equations u...
An Automated Surveillance System based on Multi-Processor System-on-Chip and Hardware Accelerator
The video surveillance, such as an example of security system presents one of the powerful techniques used in advanced systems. Manual vision which is used to analyze video in the traditional approach should be avoided....