Permission-based programming languages
Abstract
Linear permissions have been proposed as a lightweight way to specify how an object may be aliased, and whether those aliases allow mutation. Prior work has demonstrated the value of permissions for addressing many software engineering concerns, including information hiding, protocol checking, concurrency, security, and memory management.
BibTeX
@inproceedings{Aldrich-al:ICSE11,
author = {Jonathan Aldrich and
Ronald Garcia and
Mark Hahnenberg and
Manuel Mohr and
Karl Naden and
Darpan Saini and
Sven Stork and
Joshua Sunshine and
{\'{E}}ric Tanter and
Roger Wolff},
title = {Permission-based programming languages},
booktitle = {ICSE},
pages = {828--831},
publisher = {{ACM}},
year = {2011},
}