Skip to Main Content
During the development of programming languages, there always have some problems such as the AOP in the procedure-oriented languages and object-oriented languages. These problems appear frequently in software and are difficult to be coped with. Many problems are due to the limitation of theoretical foundations of these programming languages, thus they cannot be solved by simply applying some specific technologies. It is necessary to build a new theoretical framework to solve these problems from the bottom. Our goal is to create a theoretical framework to discuss causes of these problems, find a way to solve them and provide some instructional suggestions. This paper first introduces the universal theory, analyzes the phenomena brought by misuse of universals, and then gives some feasible solutions. After that, an experimental but practical platform is presented. Finally, we give out related work and then make conclusion.