Abstract: Macro-programming enables the definition of highly distributed applications as a single “macro-program”, providing first-class abstractions to describe and reason about global system ...