Research output

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

    Research output: Contribution to journalArticleScientificpeer-review

  2. FlowSpec: Declarative Dataflow Analysis Specification

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

View all (2) »

ID: 111211