[richard_shelton]

I hope someone will write an article about Gary Kildall's achievements in theory of compilation. For us, compiler writers, he is a legendary figure.

[wglb]

I have a copy of his paper at U of W titled "A Code Synthesis filter for basic block optimization" 72-3-01. The code behind the paper was written in XPL.

[wglb]

Further, his work in that area is referenced in other compiler-related books such as Flow Analysis of Computer Programs by Matthew S. Hect.

[cmrdporcupine]

Interesting, I've followed topics about Kildall for years but never knew about this. Cool.

EDIT: referenced paper is here: https://haoxintu.github.io/files/1-A%20Unified%20Approach%20...