Browsing Computing and Information Sciences by Subject "Operational semantics"

K-REx Repository

Browsing Computing and Information Sciences by Subject "Operational semantics"

Sort by: Order: Results:

  • Deng, Xianghua; Lee, Jooyong; Robby (2012)
    Programs that manipulate dynamic heap objects are difficult to analyze due to issues like aliasing. Lazy initialization algorithm enables the classical symbolic execution to handle such programs. Despite its successes, ...