Symbolic automata for representing big code
Analysis of massive codebases (“big code”) presents an opportunity for drawing insights about programming practice and enabling code reuse. One of the main challenges in analyzing big code is finding a representation that captures sufficient semantic information, can be constructed efficiently, and...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Springer Verlag
2016
|