A Formal Type System for Java
By: Mourad Debbabi, M. Fourati
Abstract
We believe that a formal study of Java is very useful to clarify, correct and complete its semantics. It can only be advantageous to consolidate and establish Java security, and make it possible to reason about effective compilation. In our view, a semantics theory for Java is not a luxury, it is a necessity.
Cite as:
Mourad Debbabi, M. Fourati, “A Formal Type System for Java”, Journal of Object Technology, Volume 6, no. 8 (September 2007), pp. 117-184, doi:10.5381/jot.2007.6.8.a3.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn