Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

Personnel Practices in Japanese Government

This paper examines key aspects of Japanese Government personnel practices, and draws comparisons with the practices in the U.S. civil service and, as appropriate, with other U.S. models. Particular reference is made to the practices of two major agencies in Japan, the Ministry of International Trade and Industry (MITI) and the Ministry of Posts and Telecommunications (MPT). As appropriate, selected government businesses practices other than personnel practices are noted.