Download or read book Continuation Passing Transformation and Abstract Interpretation written by J. A. Muylaert-Filho and published by . This book was released on 1992 with total page 13 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "We prove that performing a continuation passing style (CPS) transformation on a higher-order program and then doing a program analysis gives more information than analysing the original program. Doing this in a typed setting has given some surprising difficulties."