The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for sequential programs on a...
Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the l...
This article makes two contributions to the work on semantics-based termination analysis for logic programs. The first involves a novel notion of type...
Pointer analysis benefits many useful clients, such as compiler optimizations and bug finding tools. Unfortunately, common programming language featur...
With the diverging improvements in CPU speeds and memory access latencies, detecting and removing memory access bottlenecks becomes increasingly impor...
