As mentioned in #5 , a key aspect of all specification is ease of correctly building an implementation in any language with ease. That means that syntax and semantics of the language should be specified in a precise, unambiguous and easy to understand manner, ideally with lots of tooling streamlining the process of creating an implementation.
While #5 is about researching on potential specification formats for the syntax who satisfy these requirements, we also need to find a proper semantic specification format. This can either be a mathematical (axiomatic) specification, or we might reach the conclusion that the reference implementation will suffice for that matter.
As mentioned in #5 , a key aspect of all specification is ease of correctly building an implementation in any language with ease. That means that syntax and semantics of the language should be specified in a precise, unambiguous and easy to understand manner, ideally with lots of tooling streamlining the process of creating an implementation.
While #5 is about researching on potential specification formats for the syntax who satisfy these requirements, we also need to find a proper semantic specification format. This can either be a mathematical (axiomatic) specification, or we might reach the conclusion that the reference implementation will suffice for that matter.