Bøger af Elena Stuart

* Includes a set of "benchmarks", which are presented in great detail and includes the source code of most of the techniques presented, including solutions to the basic compilation and synthesis problems;* Discusses several new research problems in detail, using numerous examples.