- document
-
Binsbergen, L. Thomas van (author), Mosses, P.D. (author), Sculthorpe, Neil (author)The potential benefits of formal semantics are well known. However, a substantial amount of work is required to produce a complete and accurate formal semantics for a major language; and when the language evolves, large-scale revision of the semantics may be needed to reflect the changes. The investment of effort needed to produce an initial...journal article 2019