If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where J. Smits is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 12 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 1 Conference contribution
  • 1 Article

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

Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
  • 24 Downloads (Pure)

    FlowSpec: Declarative Dataflow Analysis Specification

    Smits, J. & Visser, E., Oct 2017, SLE 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York: Association for Computing Machinery (ACM), p. 221-231 11 p.

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

  • 3 Citations (Scopus)