Research activity per year


Search results

  • 2013

    Interprocedural shape analysis for effectively cutpoint-free programs

    Kreiker, J., Reps, T., Rinetzky, N., Sagiv, M., Wilhelm, R. & Yahav, E., 2013, Programming Logics: Essays in Memory of Harald Ganzinger. Voronkov, A. & Weidenbach, C. (eds.). Springer Berlin Heidelberg, p. 414-445 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7797 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations