Sciweavers

Share
SEW
2006
IEEE

Using Views to Specify a Synchronization Aspect for Object-Oriented Languages

9 years 5 months ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software designs and code. Such is the intent of our Synchronization Units Model (Szumo), which unifies new features for expressing synchronization in a multi-threaded program with existing features of an object-oriented language. However, to make effective use of a language extension, a programmer needs an accurate mental model of how new concepts affect and are affected by existing concepts. Moreover, good separation dictates that interactions between these concepts should be understandable at the level of the new concepts. This suggests that the semantics of Szumo should be specifiable as a self-contained partial specification, called a view, and the semantics of its integration with other language features should be specifiable by view composition. To our knowledge, however, view-based approaches have not been a...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SEW
Authors R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
Comments (0)
books