Compiling With Constraints.
There are lots of interesting little subproblems in compilation like instruction selection, register allocation and instruction scheduling. These can be expressed in declarative interlinked way to constraint solvers.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.