<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6416</REFNUM><AUTHORS><AUTHOR>Quigley,C.L.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>` Proof for Optimization: Programming Logic Support for Java JIT Compilers' in Supplementary Proceedings of 2001 International Conference onTheorem Proving in Higher Order Logics</TITLE><PLACE_PUBLISHED>University of Edinburgh, Division of Informatics, Informatics Research Report EDI-INF-RR-0046 </PLACE_PUBLISHED><PUBLISHER>University of Edinburgh</PUBLISHER><LABEL>Quigley:2001:6416</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>