Statistics
Publications
2
Citations
122
H-Index
2
Active since
2012
Affiliations
Alon Mishne is an author at Technion – Israel Institute of Technology specializing in data-flow analysis, static code analysis, and type checking.
Publications per year
2012–2012
2
2
Typestate-based semantic code search over partial programs
Alon Mishne, Sharon Shoham, Eran Yahav · 2012 · 103 citations
1–2 of 2