High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constr...