Improving the Usability of Static Analyzers
2016
원저자: Lee, W. | Seoul National University
Program Synthesis
원저자: Sumit Gulwani
Essentials of programming languages (third edition)
원저자: Daniel P. Friedman
Notes on programming languages