FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

Jeff Smits, Guido Wachsmuth, Eelco Visser

Programming Languages

Research output: Contribution to journal › Article › Scientific › peer-review

2 Citations (Scopus)

106 Downloads (Pure)

2 Citations
1 Dissertation (TU Delft)

1 results

2023
Strategic Language Workbench Improvements
Smits, J., 2023, 185 p.
Research output: Thesis › Dissertation (TU Delft)

Open Access
File
42 Downloads (Pure)