Software Resources


810:155
Translation of Programming Languages
Fall Semester 2007


[ Textbook | Scanner Generators | Parser Generators | Theory Tools | Static Analysis | Compilers ]


This page will host links to other resources, especially web sites, for our course. I'll add to it as we consider more topics. Feel free to send any links you recommend!


Course Textbook

We have extended the TM simulator to accept command line arguments. You can download the extended TM and a sample program as a .tar.gz file or as individual files.


Scanner Generators


Parser Generators


Theory-related Tools


Static Analysis Tools


Compilers


Eugene Wallingford ..... wallingf@cs.uni.edu ..... December 3, 2007