The author should look at how EDA (electronic design automation) tools are built. They have many of the same challenges but they also have a lot of solutions