Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying theory. In this paper we provide such a general theory of modularity. First, we study the space of the criteria for modularity (the so-called modularity space), and give results on its complexity. Then, we introduce the notion of vaccine and show how it can be used to completely analyze the modular space. It is also shown how vaccines can be effectively used to solve a variety of other modularity problems, providing the best solutions. As an application, we successfully apply the theory to the study of modularity for term rewriting, giving for the first time optimality results, and show how modularity problems can be completely solved.
CITATION STYLE
Marchiori, M. (1997). The theory of vaccines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1256, pp. 660–670). Springer Verlag. https://doi.org/10.1007/3-540-63165-8_220
Mendeley helps you to discover research relevant for your work.