ABSTRACT
We address problem of defect free transformation of programs written in Stored Procedure language into equivalent programs in Java language. We first define equivalence between basic data structures (represented as symbols) of both languages. Any arbitrary program (represented as string of symbols) written in Stored Procedures is translated into equivalent Java code by applying Structural Induction technique. We also validate our approach on industry size code-base showing its effectiveness.
- Lions, Jacques-Louis. "Ariane 5 flight 501 failure." (1996).Google Scholar
- King, James C. "Symbolic execution and program testing." Communications of the ACM 19.7 (1976): 385--394. Google ScholarDigital Library
- Hoare, Charles Antony Richard. "An axiomatic basis for computer programming." Communications of the ACM 12.10 (1969): 576--580. Google ScholarDigital Library
- Burstall, Rod M. "Proving properties of programs by structural induction." The Computer Journal 12.1 (1969): 41--48.Google ScholarCross Ref
- Lodha, Sachin, et al. "Data privacy using MASKETEER™." Proceedings of the 9th international conference on Theoretical Aspects of Computing. Springer-Verlag, 2012. Google ScholarDigital Library
- Kulkarni, Aniket. "Applying Formal Methods to Design of Migrator Component of Data Masking Software." Proceedings of the 11th Innovations in Software Engineering Conference. ACM, 2018. Google ScholarDigital Library
- Kulkarni, Aniket. "Comprehending source code of large software system for reuse." Program Comprehension (ICPC), 2016 IEEE 24th International Conference on. IEEE, 2016.Google Scholar
- Venky, R., et al. "STATEMATE to SCADE model translation." Proceedings of the 1st India software engineering conference. ACM, 2008. Google ScholarDigital Library
- Rugaber, Spencer. "Program comprehension." Encyclopedia of Computer Science and Technology 35.20 (1995): 341--368.Google Scholar
- Sneed, Harry M. "Migrating from COBOL to Java." Software Maintenance (ICSM), 2010 IEEE International Conference on. IEEE, 2010. Google ScholarDigital Library
- Martin, Johannes, and Hausi A. Muller. "C to java migration experiences." Software Maintenance and Reengineering, 2002. Proceedings. Sixth European Conference on. IEEE, 2002. Google ScholarDigital Library
- Kontogiannis, Kostas, et al. "Code migration through transformations: An experience report." Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research. IBM Press, 1998. Google ScholarDigital Library
- Pnueli, Amir, Michael Siegel, and Eli Singerman. "Translation validation." International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, Berlin, Heidelberg, 1998. Google ScholarDigital Library
- McCarthy, John, and James Painter. "Correctness of a compiler for arithmetic expressions." Mathematical aspects of computer science 1 (1967).Google Scholar
Index Terms
- Correct By Construction Approach For Translation Of Stored Procedures To Java Code
Recommendations
Using Java to Add "Stored Procedures" to Databases
TOOLS '99: Proceedings of the Technology of Object-Oriented Languages and SystemsThe paper describes our approach to adding "stored procedure" capability to a semantic database system using Java byte-codes and Java's ability to dynamically load and execute Java code. Several steps were necessary: first we added a Java application ...
How do annotations affect Java code readability?
AbstractContextCode annotations have gained widespread popularity in programming languages, offering developers the ability to attach metadata to code elements to define custom behaviors. Many modern frameworks and APIs use annotations to keep integration ...
Java bytecode to native code translation: the caffeine prototype and preliminary results
MICRO 29: Proceedings of the 29th annual ACM/IEEE international symposium on MicroarchitectureThe Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in Java bytecode are expected to run without modification on multiple ...
Comments