Standard

FlowSpec: Declarative Dataflow Analysis Specification. / Smits, Jeff; Visser, Eelco.

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. ed. / Benoit Combemale; Marjan Mernik; Bernhard Rumpe. Vancouver, BC, Canada : Association for Computing Machinery (ACM), 2017. p. 221-231.

Research output: Scientific - peer-reviewConference contribution

Harvard

Smits, J & Visser, E 2017, FlowSpec: Declarative Dataflow Analysis Specification. in B Combemale, M Mernik & B Rumpe (eds), Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery (ACM), Vancouver, BC, Canada, pp. 221-231. DOI: 10.1145/3136014.3136029

APA

Smits, J., & Visser, E. (2017). FlowSpec: Declarative Dataflow Analysis Specification. In B. Combemale, M. Mernik, & B. Rumpe (Eds.), Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. (pp. 221-231). Vancouver, BC, Canada: Association for Computing Machinery (ACM). DOI: 10.1145/3136014.3136029

Vancouver

Smits J, Visser E. FlowSpec: Declarative Dataflow Analysis Specification. In Combemale B, Mernik M, Rumpe B, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Vancouver, BC, Canada: Association for Computing Machinery (ACM). 2017. p. 221-231. Available from, DOI: 10.1145/3136014.3136029

Author

Smits, Jeff; Visser, Eelco / FlowSpec: Declarative Dataflow Analysis Specification.

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. ed. / Benoit Combemale; Marjan Mernik; Bernhard Rumpe. Vancouver, BC, Canada : Association for Computing Machinery (ACM), 2017. p. 221-231.

Research output: Scientific - peer-reviewConference contribution

BibTeX

@inbook{9f59f2359abd4345ba433fe5d7059ed4,
title = "FlowSpec: Declarative Dataflow Analysis Specification",
keywords = "control flow graph, Data-flow Analysis, Domain specific language, Spoofax",
author = "Jeff Smits and Eelco Visser",
year = "2017",
month = "10",
doi = "10.1145/3136014.3136029",
pages = "221--231",
editor = "Benoit Combemale and Marjan Mernik and Bernhard Rumpe",
booktitle = "Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

RIS

TY - CHAP

T1 - FlowSpec: Declarative Dataflow Analysis Specification

AU - Smits,Jeff

AU - Visser,Eelco

PY - 2017/10

Y1 - 2017/10

N2 - We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec has declarative support for the specification of control flow graphs of programming languages, and dataflow analyses on these control flow graphs. We define the formal semantics of FlowSpec, which is rooted in Monotone Frameworks. We also discuss a prototype implementation of the language, built in the Spoofax Language Workbench. Finally, we evaluate the expressiveness and conciseness of the language with two case studies. These case studies are performed using Green-Marl, an industrial, domain-specific language for graph processing. The first case study is a classical dataflow analysis, scaled to this full language. The second case study is a domain-specific analysis of Green-Marl.

AB - We present FlowSpec, a declarative specification language for the domain of dataflow analysis. FlowSpec has declarative support for the specification of control flow graphs of programming languages, and dataflow analyses on these control flow graphs. We define the formal semantics of FlowSpec, which is rooted in Monotone Frameworks. We also discuss a prototype implementation of the language, built in the Spoofax Language Workbench. Finally, we evaluate the expressiveness and conciseness of the language with two case studies. These case studies are performed using Green-Marl, an industrial, domain-specific language for graph processing. The first case study is a classical dataflow analysis, scaled to this full language. The second case study is a domain-specific analysis of Green-Marl.

KW - control flow graph

KW - Data-flow Analysis

KW - Domain specific language

KW - Spoofax

U2 - 10.1145/3136014.3136029

DO - 10.1145/3136014.3136029

M3 - Conference contribution

SP - 221

EP - 231

BT - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

PB - Association for Computing Machinery (ACM)

ER -

ID: 32950234