Title: Formalization of Programming Concepts