20012022

Research activity per year

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

Search results

  • 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