In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Aspect-orientedprogramming provides theprogrammer with means to cross-cut conventional program structures, in particular the class hierarchies of object-oriented programming. This ...
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...