Browse Dept. of Computer Science by Subject "K-Framework"
Now showing items 1-1 of 1
(2015-10-20)The thesis discusses pre-compiler optimization using rule-based rewriting. Our goal is to facilitate the proof of correctness of the process of program optimization. A source-to-source optimizer based on the proposed ...