research-article

Permission-based programming languages (NIER track)

Authors:

Jonathan Aldrich,

Mark Hahnenberg,

Joshua Sunshine,

Roger WolffAuthors Info & Claims

ICSE '11: Proceedings of the 33rd International Conference on Software Engineering

Pages 828 - 831

https://doi.org/10.1145/1985793.1985915

Published: 21 May 2011 Publication History

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.

We propose the concept of a permission-based programming language - a language whose object model, type system, and runtime are all co-designed with permissions in mind. This approach supports an object model in which the structure of an object can change over time, a type system that tracks changing structure in addition to addressing the other concerns above, and a runtime system that can dynamically check permission assertions and leverage permissions to parallelize code. We sketch the design of the permission-based programming language Plaid, and argue that the approach may provide significant software engineering benefits.

References

[1]

J. Aldrich, J. Sunshine, D. Saini, and Z. Sparks. Typestate-Oriented Programming. In Proc. Onward!, 2009.

Digital Library

[2]

H. G. Baker. 'Use-once' variables and linear objects - storage management, reflection, and multi-threading. ACM SIGPLAN Notices, 30(1):45--52, 1995.

Digital Library

[3]

N. Beckman. Types for Correct Concurrent API Usage. PhD thesis, Carnegie Mellon University, 2010.

Digital Library

[4]

K. Bierhoff and J. Aldrich. Modular typestate verification of aliased objects. In Object-Oriented Programming, Systems, Languages, and Applications, 2007.

Digital Library

[5]

B. Bokowski and J. Vitek. Confined Types. In Object-Oriented Programming, Systems, Languages, and Applications, November 1999.

Digital Library

[6]

C. Boyapati, R. Lee, and M. Rinard. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications, November 2002.

Digital Library

[7]

J. Boyland, J. Noble, and W. Retert. Capabilities for sharing: A generalization of uniqueness and read-only. In European Conference on Object-Oriented Programming, 2001.

Digital Library

[8]

R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In Programming Language Design and Implementation, 2001.

Digital Library

[9]

A. Greenhouse and W. L. Scherlis. Assuring and evolving concurrent programs: annotations and policy. In International Conference on Software Engineering, 2002.

Digital Library

[10]

D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in cyclone. In Programming Language Design and Implementation, 2002.

Digital Library

[11]

J. Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In Object-Oriented Programming, Systems, Languages, and Applications, October 1991.

Digital Library

[12]

J. Noble, J. Vitek, and J. Potter. Flexible Alias Protection. In European Conference on Object-Oriented Programming, 1998.

Digital Library

[13]

R. Plasmeijer and M. van Eekelen. Keep it Clean: A unique approach to functional programming. In ACM Sigplan Notices, 1999.

Digital Library

[14]

S. Stork, P. Marques, and J. Aldrich. Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. In Proc. Onward!, 2009.

Digital Library

[15]

J. A. Tov and R. Pucella. Practical affine types. In Principles of Programming Languages, 2011.

Digital Library

[16]

P. Wadler. Linear types can change the world! In Working Conference on Programming Concepts and Methods, 1990.

[17]

D. Walker, K. Crary, and G. Morrisett. Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst., 22(4):701--771, 2000.

Digital Library

Cited By

Alsubhi ADardha O(2024)Coconut: Typestates for Embedded SystemsCoordination Models and Languages10.1007/978-3-031-62697-5_12(219-238)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_12
Lee WLiu YLiu PMa SChoi HZhang XGupta RKandemir MJimborean AMoseley T(2019)White-box program tuningProceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization10.5555/3314872.3314889(122-135)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.5555/3314872.3314889
Lee WLiu YLiu PMa SChoi HZhang XGupta R(2019)White-Box Program Tuning2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2019.8661177(122-135)Online publication date: Feb-2019
https://doi.org/10.1109/CGO.2019.8661177
Show More Cited By

Index Terms

Permission-based programming languages (NIER track)
1. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Plaid: a permission-based programming language
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Access permissions (permissions for short) are a lightweight way to specify how an object may be aliased and whether aliases allow mutation. Prior work has demonstrated the value of permissions for addressing many software engineering concerns, ...
Permission based granular access control pattern
PLoP '14: Proceedings of the 21st Conference on Pattern Languages of Programs

Enterprise applications are designed to address specific business needs and are generally run within the internal corporate networks. Access to enterprise applications is controlled by various corporate policies, based on numerous widely accepted ...
A type system for borrowing permissions
POPL '12: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of concurrency. To be usable, unique permissions must be borrowed --- for example,...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '11: Proceedings of the 33rd International Conference on Software Engineering

May 2011

1258 pages

ISBN:9781450304450

DOI:10.1145/1985793

General Chair:
Richard N. Taylor
UC Irvine, USA
,
Program Chairs:
Harald Gall
University of Zurich, Switzerland
,
Nenad Medvidović
University of Southern California, USA

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 May 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE11

Sponsor:

SIGSOFT

ICSE11: International Conference on Software Engineering

May 21 - 28, 2011

HI, Waikiki, Honolulu, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
179
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alsubhi ADardha O(2024)Coconut: Typestates for Embedded SystemsCoordination Models and Languages10.1007/978-3-031-62697-5_12(219-238)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1007/978-3-031-62697-5_12
Lee WLiu YLiu PMa SChoi HZhang XGupta RKandemir MJimborean AMoseley T(2019)White-box program tuningProceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization10.5555/3314872.3314889(122-135)Online publication date: 16-Feb-2019
https://dl.acm.org/doi/10.5555/3314872.3314889
Lee WLiu YLiu PMa SChoi HZhang XGupta R(2019)White-Box Program Tuning2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2019.8661177(122-135)Online publication date: Feb-2019
https://doi.org/10.1109/CGO.2019.8661177
Li M(2014)Tourism Venue Exhibition System Design Based on Flash Scripting LanguageProceedings of the 2014 7th International Conference on Intelligent Computation Technology and Automation10.1109/ICICTA.2014.213(890-893)Online publication date: 25-Oct-2014
https://dl.acm.org/doi/10.1109/ICICTA.2014.213
Bonetta DPeternier APautasso CBinder W(2012)SACM SIGPLAN Notices10.1145/2370036.214582947:8(97-106)Online publication date: 25-Feb-2012
https://dl.acm.org/doi/10.1145/2370036.2145829
Bonetta DPeternier APautasso CBinder WRamanujam JSadayappan P(2012)SProceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming10.1145/2145816.2145829(97-106)Online publication date: 25-Feb-2012
https://dl.acm.org/doi/10.1145/2145816.2145829
Aldrich JBocchino RGarcia RHahnenberg MMohr MNaden KSaini DStork SSunshine JTanter ÉWolff RLopes CFisher K(2011)PlaidProceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion10.1145/2048147.2048197(183-184)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2048147.2048197

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents