7 search results - page 2 / 2 » Amortised Resource Analysis with Separation Logic |
SAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...