|
Title |
Modular Composition and State Update in Plaid |
|
Authors |
Jonathan Aldrich, Karl Naden, Éric Tanter |
|
Publication date |
2010 |
|
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. |
|
Pages |
article 4 |
|
Conference name |
Workshop on MechAnisms for SPEcialization, Generalization and inHerItance |
|
Publisher |
ACM Press (New York, NY, USA) |
|
Reference URL |
|
