Research output per year
Research output 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 proceeding › Chapter › peer-review
5 Scopus citations