… Attribute grammars are a powerful specification paradigm for many language … attribute grammar systems use dynamic scheduling algorithms to evaluate attributes … programming language. The result is a small, lightweight attribute grammar library …
SCP, 78(10):1752-1769, 2013. [doi]… An extension to canonical attribute grammars is introduced, permitting attributes to be references to arbitrary nodes in the syntax tree, and attributes to be accessed via the reference attributes. Important practical problems such as name …
informaticaSI, 24(3):301-317, 2000.… An extension to attribute grammars is introduced which allows objects …, and a highly reduced number of affected attributes after syntax tree modifications … attribute evaluation in interactive language-based editors. …
cc 1994: 31-51… Attribute grammars are a powerful specification paradigm for many language … attribute grammar systems use dynamic scheduling algorithms to evaluate attributes … to implement a small, lightweight attribute grammar library. The Kiama attribution …
ENTCS, 253(7):205-219, 2010. [doi]… Attribute grammars are a powerful specification formalism for tree-based … been proposed to abstract over common patterns in attribute grammar specifications …, collection attributes, and expressing dependencies that are evaluated to a fixed …
CC 2009: 142-157 [doi]… the entire life cycle of a program. This method uses attributed translation grammars … to test an implementation against the specifications. The grammar can generate test cases either randomly or systematically. The attributes are used to guide …
ICSE 1981: 170-178 [doi]… Reference attribute grammars (RAGs) have proven practical for gen- erating … on statically scheduled incremental attribute evaluation are, however, not applicable … attributes give rise to. In this report, we introduce a notion of consistency for RAG …
Technical Report 98, 2012.