Title: An abstract view of programming language