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...

Full description

Bibliographic Details
Main Authors: Yang, H, Peleg, H, Shoham, S, Yahav, E
Format: Journal article
Published: Springer Verlag 2016