Massachusetts Institute of Technology / Matthew Might University of Utah Abstract / Carnegie Mellon University / Georgia Institute of Technology / /
IndustryTerm
mental energy / call site / /
Organization
Carnegie Mellon University / University of Utah / Massachusetts Institute of Technology / National Science Foundation / Georgia Institute of Technology / Matthew Might University / /
Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which