Search

When using formal methods to generate compilers it is desirable for all levels of the compiler to be formally specified. Typically, register allocation has been thought to be equivalent to graph coloring. Since graph coloring is NP-Complete most algorithms for register allocation have been ad-hoc. This paper presents a framework for register allocation that has been formally verified using an inductive theorem prover.

The intent of this text is to introduce you to computer programming using the Python programming language. Learning to program is a bit like learning to play piano, although quite a bit easier since we won’t have to program while keeping time according to a time signature. Programming is a creative process so we’ll be working on developing some creative skills. At the same time, there are certain patterns that can be used over and over again in this creative process.