Литература

Nielson, F., Nielson, H. R., Hankin, C. Principles of Program Analysis. Springer-Verlag Berlin Heidelberg, 1999.

Møller, A., Schwartzbach, M. I. Static Program Analysis. 2022.

Nielson, H. R., Nielson F. Semantics with Applications: An Appetizer. Springer London, 2019.

Pierce B. Types and Programming Languages. The MIT Press, 2002.

Sipser M. Introduction to the Theory of Computation, 3rd Edition. Cengage Learning, 2012.

Томас Х. Кормен и др. Алгоритмы: построение и анализ. 3-е издание. Издательство Вильямс, 2014.

Альфред Ахо, Рави Сети, Джеффри Ульман. Компиляторы. Принципы, технологии, инструменты. 2-е издание. Издательство Вильямс, 2015.

Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge University Press, 1998.

Blyth T. S. Lattices and Ordered Algebraic Structures. Springer, 2005.

Гуров С. И. Булевы алгебры, упорядоченные множества, решетки: определения, свойства, примеры. 2013.

Robert Harper. Practical Foundations for Programming Languages. Cambridge University Press, 2012.

Michael J. C. Gordon. The Denotational Description of Programming Languages: An Introduction. Springer-Verlag, 1979.

Nielson, H. R., Nielson, F. Two-Level Functional Languages. Cambridge University Press, 1992.

Dowek, G., Lévy, J. Introduction to the Theory of Programming Languages. Springer-Verlag London, 2011.

Gabbrielli M., Martini S. Programming Languages: Principles and Paradigms. Springer-Verlag London, 2010.

Bradley, A. R., Manna Z. The Calculus of Computation. Springer-Verlag Berlin Heidelberg, 2007.