Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
research
oaioai:ecommons.cornell.edu:1813/28284

Capsules and Separation

Authors
Publication date
14 January 2012
Publisher
Doi

    Abstract

    We study a formulation of separation logic using capsules, a representation of the state of a computation in higher-order programming languages with mutable variables. We prove soundness of the frame rule in this context and investigate alternative formulations with weaker side conditions

    Similar works

    Full text

    thumbnail-image

    eCommons@Cornell

    redirect
    oaioai:ecommons.cornell.edu:1813/...
    Last time updated on 25/06/2012

    This paper was published in eCommons@Cornell.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.