Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Permission-Based Programming Languages (NIER Track) Jonathan Aldrich Ronald Garcia Mark Hahnenberg Manuel Mohr Karl
 

Summary: Permission-Based Programming Languages (NIER Track)
Jonathan Aldrich Ronald Garcia Mark Hahnenberg Manuel Mohr Karl
Naden Darpan Saini Sven Stork Joshua Sunshine Éric Tanter Roger Wolff
School of Computer Science, Carnegie Mellon University Karlsruhe Institute of Technology
PLEIAD Lab, Computer Science Dept (DCC), University of Chile
jonathan.aldrich@cs.cmu.edu (contact author)
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 engineer-
ing concerns, including information hiding, protocol check-
ing, concurrency, security, and memory management.
We propose the concept of a permission-based program-
ming language--a language whose object model, type sys-
tem, 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 dynam-

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences