LR Formalisms as Abstract Interpretations of Grammar Semantics. - Seunghwan O; Kwang-Moo Choe (IEICE Trans. Inf. Syst., 2006)