A Formal Type System for Java

By: Mourad Debbabi, M. Fourati


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

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact