Abstraction is the core concept of abstract interpretation. His paintings often combine abstract and figurative elements. Pure mathematics is mathematics that studies entirely abstract concepts. These include impressionism and the modernist styles of expressionism, abstract painting and surrealism. Music defines much of modernist abstract painting. Many allegories use personification of abstract concepts. Here are listed fundamental concepts in abstract algebra. The status of some color words as abstract or descriptive is debatable. Zane is also a painter whose art style is that of abstract expressionism. Platonic realism is realism regarding the existence of universals or abstract objects. We find ourselves in the presence of an abstract art. Kandinsky is generally credited as the pioneer of abstract art. Theosophy was also an influence over a number of early pioneers of abstract art. The metaphorical correspondence is between concrete source and abstract target meaning. Algebraic data types are highly suited to implementing abstract syntax.