dance : a declarative language for the control of humanoid robots research report yaleu / dcs / rr - 1253 .
Modular domain specific languages and tools