Conference paper
Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
The problem of finding the circular attributes in an attribute grammar is considered. Two algorithms are proposed: the first is polynomial but yields conservative results while the second is exact but is potentially exponential. It is also shown that finding the circular attributes is harder than testing circularity. © 1999 ACM.
Joseph Y. Halpern
aaai 1996
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
Rie Kubota Ando
CoNLL 2006
Miao Guo, Yong Tao Pei, et al.
WCITS 2011