A naming specification language for syntax-directed editors | IEEE Conference Publication | IEEE Xplore