|
Title |
Permission-based Programming Languages |
|
Authors |
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff |
|
Publication date |
2011 |
|
Abstract |
At the core of the Plaid typestate-oriented programming language is the ability to change the representation of an object at run-time. As such, the semantics of the state change operation impact how Plaid programs are structured and how objects are composed in Plaid's trait-based composition system. We describe the challenges with respect to designing a modular state change operation and suggest two options. Secondly, we explore the issues both designs create for explicit conflict resolution and sketch a potential solution which eliminates the flattening property to allow conflicts to be resolved only when they come into scope. |
|
Downloaded |
15 times |
|
Pages |
828-831 |
|
Conference name |
ACM/IEEE International Conference on Software Engineering |
|
Publisher |
ACM Press (New York, NY, USA) |
|
PDF |
|
|
Reference URL |
|
