Grammar flow analysis-Reference-Cited by-同舟云学术

Grammar flow analysis

Published:1991 Issue: Volume: Page:151-186
ISSN:0302-9743
Container-title:Attribute Grammars, Applications and Systems
language:
Short-container-title:

Author:

Möncke Ulrich,Wilhelm Reinhard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54572-7_6.pdf

Reference12 articles.

1. Cousot P., Cousot R., Systematic Design of Program Analysis Framework, 6th ACM POPL, 1979

2. Chebotar K.S., Some Modifications of Knuth's Algorithm for Verifying Cyclicity of Attribute Grammars, Programming and Computer Software 7, 1 (pp 58–61), 1981

3. Deransart P., Jourdan M., Lorho B., Speeding up Circularity Tests for Attribute Grammars, Report RR-211, INRIA, Roquencourt, 1983

4. Farrow R., Covers of Attribute Grammars and Sub-Protocol Attribute Evaluators, Comp. Sci. Dept., Columbia University, New York, 1983

5. Kennedy K., Warren S.K., Automatic Generation of Efficient Evaluators for Attribute Grammars, 3rd ACM POPL, Atlanta, 1976

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unrealizability Logic;Proceedings of the ACM on Programming Languages;2023-01-09

2. Principles of Abstract Interpretation;Formal Aspects of Computing;2022-06-30

3. Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

4. PMAF: an algebraic framework for static analysis of probabilistic programs;ACM SIGPLAN Notices;2018-12-02

5. PMAF: an algebraic framework for static analysis of probabilistic programs;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11