A development platform for embedded domain-specific languages