In this paper, we study two interprocedural program-analysis problems-interprocedural slicing and interprocedural dataflow analysis-and present the fo...

In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be de...

In this paper, we present a general procedure to test conjunctive query containment. We divide the containment problem into four categories, taking in...

When verifying concurrent systems, described by transition systems, state explosion is one of the most serious problems: systems are often described b...

In search trees with relaxed balance, updating and rebalancing have been uncoupled such that rebalancing can be controlled separately. Recently, it ha...