Specifying the Semantics of a Programming Language
摘要
As we noted in Chap. 3, syntax concerns the textual or graphical form of programs, but not what these programs mean. The meaning of programs is the concern of semantics.