Operators for Space and Time in BeSpaceD
Software Engineering
2016-04-01 v2
Abstract
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.
Cite
@article{arxiv.1602.08809,
title = {Operators for Space and Time in BeSpaceD},
author = {Jan Olaf Blech and Keith Foster},
journal= {arXiv preprint arXiv:1602.08809},
year = {2016}
}