Introduction to Static Analysis More Books Like This
Implementation and Application of Functional Languages
2007
Compiler Design
2012
Programming Languages and Systems
2015
Practical Aspects of Declarative Languages
2017
Formal Verification of Object-Oriented Software
2011
Functional and Constraint Logic Programming
2019
Engineering Trustworthy Software Systems
2018
Programming Languages: Principles and Paradigms
2010
Engineering Theories of Software Intensive Systems
2006
Functional and Logic Programming
2016
Programming Languages and Systems
2010
Programming Languages and Systems
2008
Implementation and Application of Functional Languages
2011
Implementation and Application of Functional Languages
2013
Specification of Software Systems
2011