We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several such systems in development now. However, Thor is unique in that it provides not only shape analysis, but also arithmetic reasoning via a novel combination procedure. Also, considerable effort has been put into making the output clear and easy to understand. Thor uses Javascript and HTML to produce an interactive representation of the analysis results. © 2008 Springer-Verlag.
CITATION STYLE
Magill, S., Tsai, M. H., Lee, P., & Tsay, Y. K. (2008). THOR: A tool for reasoning about shape and arithmetic - Tool paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5123 LNCS, pp. 428–432). https://doi.org/10.1007/978-3-540-70545-1_41
Mendeley helps you to discover research relevant for your work.