Specification for a front end language