From a Formalized Parallel Action Language to Its Efficient Code Generation

What is it about?

We propose a modeling language with data-parallel operations, which is object-oriented and state machines based. Together with its structural operational semantics, which is a new approach in the domain of state machine based languages, we present an optimizing compiler to generate efficient data-parallel implementations.

Featured Image