![Mathematical logic / Function / Lambda calculus / Control flow analysis / Combinatory logic / Fixed-point combinator / Mathematics / Data-flow analysis / Theoretical computer science Mathematical logic / Function / Lambda calculus / Control flow analysis / Combinatory logic / Fixed-point combinator / Mathematics / Data-flow analysis / Theoretical computer science](https://www.pdfsearch.io/img/e8534ed11643627318eca3ef4f2f27d9.jpg) Date: 2006-02-23 06:00:00Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science | | Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execuAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 167,28 KBShare Document on Facebook
|