Verification of Attribute Grammars

Takuya Katayama, Yutaka Hoshino. Verification of Attribute Grammars. In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 177-186, 1981.

Abstract

Abstract is missing.