If you made any changes in Pure these will be visible here soon.
Filter
Paper in conference proceeding

Search results

  • 2019

    MetaDL: Declarative program analysis for the masses

    Dura, A. & Balldin, H., 2019 Oct 20, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 17-18 2 p. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

  • MetaDL: Analysing Datalog in Datalog

    Dura, A., Balldin, H. & Reichenbach, C., 2019, SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), p. 38-43 6 p.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

    4 Citations (SciVal)