Motivation We have so far seen many analyses which deal with control- and data-flow properties of pure languages. However, many languages contain operations with sideeffects, so we must also be able to analyse and safely - Pure type system - Document - PDFSEARCH.IO

First Page	Meta Content
	Motivation We have so far seen many analyses which deal with control- and data-flow properties of pure languages. However, many languages contain operations with sideeffects, so we must also be able to analyse and safely Add to Reading List Document Date: 2006-03-02 06:00:00 Open Document File Size: 276,24 KB Share Result on Facebook IndustryTerm Effect systems / / SocialTag Models of computation Function Lambda calculus Type system Mathematics Theoretical computer science Mathematical logic

Motivation We have so far seen many analyses which deal with control- and data-flow properties of pure languages. However, many languages contain operations with sideeffects, so we must also be able to analyse and safelyAdd to Reading List