2 Hits in 1.2 sec

Evolution of a Java just-in-time compiler for IA-32 platforms

T. Suganuma, T. Ogasawara, K. Kawachiya, M. Takeuchi, K. Ishizaki, A. Koseki, T. Inagaki, T. Yasue, M. Kawahito, T. Onodera, H. Komatsu, T. Nakatani
2004 IBM Journal of Research and Development  
We also present some techniques specific to the IA-32 used to improve code quality, especially for the efficient use of the small number of registers on that platform.  ...  Using several industry-standard benchmark programs, the experimental results show that our approach offers high performance with low compilation overhead.  ...  We also thank the IBM Java performance team in Austin, Texas, particularly Bill Alexander, Mike Collins, and Weiming Gu, for their helpful discussion and analysis for identifying opportunities to improve  ... 
doi:10.1147/rd.485.0767 fatcat:wcyoooi6ubgznbouxxxhumt6g4

A Type- and Control-Flow Analysis for System F [chapter]

Matthew Fluet
2013 Lecture Notes in Computer Science  
Similarly, typeflow information is expressed as an abstract environment mapping type variables to sets of (syntactic) types that appear in the program under analysis.  ...  under analysis.  ...  analogue of the type-compatibility conditions used in the flow analysis.  ... 
doi:10.1007/978-3-642-41582-1_8 fatcat:djdtvghd2vbl7kd4n4bmwpnjpe