Java Jr: Fully abstract trace semantics for a Core Java Language

Jeffrey, Alan and Rathke, Julian (2005) Java Jr: Fully abstract trace semantics for a Core Java Language. In: Proceedings of ESOP, part of ETAPS. Lecture Notes in Computer Science.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 06 Feb 2012 18:53
Last Modified: 12 Apr 2012 11:55
URI: http://sro.sussex.ac.uk/id/eprint/18821
📧 Request an update