Abstract

In this work we present a schema of an operational semantics suitable for skeleton-based parallel languages that support both task and data parallelism. The semantics describes both functional and parallel behavior of the skeletal language in a uniform way by means of a labeled transition system. We use Lithium language (namely a Java skeleton framework) as the test-bed language to describe the methodology. The proposed schema can also be used to deal with skeletons with state.

Citations