Om du gjort några ändringar i Pure kommer de visas här snart.
Filter
Konferenspaper i proceeding

Sökresultat

  • MetaDL: Declarative program analysis for the masses

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

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i 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), s. 38-43 6 s.

    Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

    4 Citeringar (SciVal)