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

3 Citations (Scopus)

121 Downloads (Pure)

3 Citations
1 Dissertation (TU Delft)

1 results

Filter

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

Open Access
File
66 Downloads (Pure)