Static loop analysis and Its applications

Static loop analysis and Its applications

Loops are challenging structures in program analysis, and an effective loop analysis is crucial in the applications, such as symbolic execution and program verification. In the research, we will first perform a deep analysis and propose a classification according to the complexity of the loops. Then...

Full description

Saved in:
Bibliographic Details
Main Author: XIE, Xiaofei
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2016
Subjects:
Loop summarization
termination
program verification
OS and Networks
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/7062
https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/7062
https://ink.library.smu.edu.sg/context/sis_research/article/8065/viewcontent/2950290.2983972.pdf

Similar Items