Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Inlining improves the performance of programs by reducing the overhead of method invocation and increasing the opportunities for compiler optimization. Incorrect inlining decision...
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
Suzanne W. Dietrich, Susan Darling Urban, Hua Ma, ...