Conditional attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
IEEE Transactions on Software Engineering
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |