IMP72 semantics by ::= syntax-part ::= semantic part. syntax part labels non-terminals with id eg ::= increment ::= "a<-a+1"
Related Topics
Topic: semantic grammar (23 items)