5 citations · 12 across the 4 of their papers we have counts for
3 papers · 1 filter
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
Event-driven Adaptation in COP
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the conte…
Typing Context-Dependent Behavioural Variation
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta +1
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs…