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...
Distributed systems and applications are often expected to enforce high-level authorization policies. To this end, the code for these systems relies o...
