1 research outputs found
Operators for Space and Time in BeSpaceD
In this report, we present some spatio-temporal operators for our BeSpaceD
framework. We port operators known from functional programming languages such
as filtering, folding and normalization on abstract data structures to the
BeSpaceD specification language. We present the general ideas behind the
operators, highlight implementation details and present some simple examples