The Theory of Vaccines

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 e ectively 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 rst time optimality results, and completely solving the modularity problem for the major properties of rewriting. AMS Classi cation: 68N05, 68Q42, 68Q60 CR Categories: D.2.4, D.2.7, D.3.3, D.4.7, F.3.1, F.3.3, F.4.2.

• Type: Conference
• Year: 1997
• Where: ICALP
• Authors: Massimo Marchiori
• Keywords: General Unifying Theory, ICALP 1997, Modularity Problem, Programming Languages, So-called Modularity Space