Shape Analysis in the Absence of Pointers and Structure Matthew Might University of Utah, Salt Lake City, Utah, USA http: matt.might.net - Salt Lake City - Document - PDFSEARCH.IO

First Page	Meta Content
	Shape Analysis in the Absence of Pointers and Structure Matthew Might University of Utah, Salt Lake City, Utah, USA http://matt.might.net/ Add to Reading List Document Date: 2014-01-06 09:40:17 Open Document File Size: 209,94 KB Share Result on Facebook Country United States / / / Facility Structure Matthew Might University of Utah / / IndustryTerm invocation site / call site / / Organization University of Utah / Salt Lake City / / / Position abstract evaluator / na¨ıve abstract interpreter / argument-expression evaluator / / ProvinceOrState Utah / / Technology dom / / URL http / SocialTag Models of computation Computability theory Lambda calculus Theoretical computer science Abstraction Symbol Free variables and bound variables Closure Abstract interpretation Software engineering

Shape Analysis in the Absence of Pointers and Structure Matthew Might University of Utah, Salt Lake City, Utah, USA http://matt.might.net/Add to Reading List