Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
We describe the results of empirical investigations that explore the effectiveness of moving graph diagrams to improve the comprehension of their structure. The investigations inv...