Seoul / Los Angeles / San Antonio / New York / Perpignan / /
Company
Cambridge University Press / MIT Press / ACM Press / /
Country
France / United States / Korea / /
Currency
USD / / /
Facility
CarnegieMellon University / Better Together Maria Jenkins Leif Andersen University / Store Var / Matthew Might University of Utah / /
Movie
D. V / /
Organization
School of Computer Science / Cambridge University / University of Utah / National Science Foundation / CarnegieMellon University / Pittsburgh / Northeastern University / MIT / U.S. Government / Galois Union / /
Person
Thomas Gilray / / /
Position
argument evaluator / concrete interpreter / abstract representative / concrete interpreter / an abstract interpreter and a unified interpreter / precise representative / CPS interpreter / address-abstractor / separate interpreter / interpreter for free / abstract evaluator / unified lattice model for static analysis / interpreter / /
ProgrammingLanguage
C++ / /
ProvinceOrState
Texas / Utah / Pennsylvania / California / New York / /
Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen