Optimising Compilers: Inference-based analysis

Optimising Compilers: Inference-based analysis

12/16

* Inference-based analysis is another useful framework
* Inference rules are used to produce judgements about programs and their properties
* Type systems are the best-known example
* Richer properties give more detailed information
* An inference system used for analysis has an associated safety condition

Cd9b247e4507fed75312e9a42070125d?s=128

Tom Stuart

March 05, 2007
Tweet