CFP last date
20 May 2024
Reseach Article

Enhanced Type Safety in Java

by Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 47 - Number 24
Year of Publication: 2012
Authors: Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik
10.5120/7503-0417

Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik . Enhanced Type Safety in Java. International Journal of Computer Applications. 47, 24 ( June 2012), 12-16. DOI=10.5120/7503-0417

@article{ 10.5120/7503-0417,
author = { Swadhin Kumar Barisal, Gayatri Nayak, Bighnaraj Naik },
title = { Enhanced Type Safety in Java },
journal = { International Journal of Computer Applications },
issue_date = { June 2012 },
volume = { 47 },
number = { 24 },
month = { June },
year = { 2012 },
issn = { 0975-8887 },
pages = { 12-16 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume47/number24/7503-0417/ },
doi = { 10.5120/7503-0417 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:42:42.046024+05:30
%A Swadhin Kumar Barisal
%A Gayatri Nayak
%A Bighnaraj Naik
%T Enhanced Type Safety in Java
%J International Journal of Computer Applications
%@ 0975-8887
%V 47
%N 24
%P 12-16
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Java is known to be a strongly type safe language, but there are some coding conventions and when these are used in some applications like persistent storage through serialization may generate unreliable or wrong output. Such cases should be caught and modified as per requirement to produce a modified safe program. This can be achieved by designing a translator tool which can catch unsafe code segments and produce a modified safe code segment. When a singleton class is serialized it is necessary to include a special method from serializable interface within it then only it gives us right result. If this method is not there within the class then it produces unpredictable results. Such results may violate type safe property of object oriented programming. Here the translator is designed using ANTLR which is going to check availability of this method in the input java file. If this method is not found then add the method and generate a type safe program at output. The same translator can be applicable for generics and their limitations. Here the translator is going to trace if there are any unchecked warnings or runtime exception then modify the input program to generate a safe program at output. This will lead to minimize limitations of java generics.

References
  1. Stephanie C. Weirich and Liang Huang. 2005. A Design for Type-Directed Programming in Java . ELSEVIER.
  2. Renaud Pawlak. Carlos Noguera and Nicolas Petitprez. May-2006. A Systèmes communicants. Technical Report.
  3. Mads Torgersen, Erik Ernst, Christian Plesner Hansen, Peter von der Ah´, Gilad Bracha and Neal Gafter. 2004. Adding Wildcard to java programming Language. In Journal of object oriented programming . Published by ETH Zurich, New York.
  4. Maurizio Cimadamore, Mirko Viroli . 16 july 2008. On the reification of Java wildcards. ELSEVIER.
  5. Nabilel Boustani and Jurriaan Hage. 2003. Improving Type Error Messages for Generic Java . ACM Press.
  6. Eric E. Allena and Robert Cartwrightb. 2006. Safe instantiation in Generic Java. ELSEVIER.
  7. Bruno De Fraine. july 2009. Range Parameterized Types:Use-site Variance without the Existential Questions. Genova Italy.
  8. Halm Reusser and Peter Sommerlad. 2009. Refactoring towards Java generics.
  9. Kimb B. Bruce, Angela Schuett and Robert Van Gent. 2003. A Type-Safe Polymorphic object oriented language. ACM Transactions on program languages and Systems .
  10. Jaime Nino. May 2007. The Cost of Erasure in Java Generics Type System. ACM Transactions.
  11. Ole Agesen, Stephen N. reund and John C. itchell. 1997. Adding Type Parameterization to the Java Language. ACM Conf.
  12. David Willians, RanchHand. 2009. Serialization and Deserialization of java enums.
Index Terms

Computer Science
Information Sciences

Keywords

Serialization Java Generics Antlr