Existing algorithms for computing dominators are formulated for control flow graphs of single procedures. With the rise of computing power, and the v...
A reference-counting garbage collector cannot reclaim unreachable cyclic structures of objects. Therefore, reference-counting collectors either use a...
XSL Transformations (XSLT) is a programming language for defining transformations among XML languages. The structure of these languages is formally de...
This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running progr...
We present a precise correspondence between separation logic and a simple notion of predicate BI, extending the earlier correspondence given between p...
