Formalising Composition Oriented Programming

13 years 8 months ago

Download trese.cs.utwente.nl

We present a snapshot of work in progress to deﬁne a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.

Mark Skipper, Sophia Drossopoulou

Real-time Traffic

Composition Technology | Distributed And Parallel Computing | ECOOPW 1999 | Formal Model |

claim paper

» CIF A Framework for Managing Integrity in AspectOriented Composition

» Session and Union Types for Object Oriented Programming

» A Compositional Approach to Concurrent ObjectOriented Programming

» ObjectOriented Composition Untangled

» EventSpecific Software Composition in ContextOriented Programming

» Is Composition of Metaobjects Aspect Oriented Programming

» A Reflective Architecture for the Support of AspectOriented Programming in Smalltalk

» Service Oriented Architectural Design

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	ECOOPW
Authors	Mark Skipper, Sophia Drossopoulou

Comments (0)

Sciweavers

Formalising Composition Oriented Programming

Composition Technology | Distributed And Parallel Computing | ECOOPW 1999 | Formal Model |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers