FlowSpec: declarative dataflow analysis specification-Reference-Cited by-同舟云学术

FlowSpec: declarative dataflow analysis specification

Published:2017-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Smits Jeff¹,Visser Eelco¹

Affiliation:

1. Delft University of Technology, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3136014.3136029

Reference32 articles.

1. Strictly declarative specification of sophisticated points-to analyses

2. Program Transformation with Scoped Dynamic Rewrite Rules;Bravenboer Martin;Fundamenta Informaticae,2006

3. The JastAdd system — modular extensible compiler construction

4. J. Gosling B. Joy G. Steele and G. Bracha. 2005. The Java Language Specification (third edition ed.). Prentice Hall PTR Boston Mass. J. Gosling B. Joy G. Steele and G. Bracha. 2005. The Java Language Specification (third edition ed.). Prentice Hall PTR Boston Mass.

5. Görel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24 3 (2000). Görel Hedin. 2000. Reference Attributed Grammars. Informatica (Slovenia) 24 3 (2000).

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

1. Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing;2022 IEEE International Conference on Software Maintenance and Evolution (ICSME);2022-10

2. Systematic mapping study on domain-specific language development tools;Empirical Software Engineering;2020-08-28

3. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis;Journal of Computer Languages;2020-04

4. Towards language-parametric refactorings;Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming;2020-03-23

5. Multi-purpose Syntax Definition with SDF3;Software Engineering and Formal Methods;2020