Return to Article Details Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof Download Download PDF