Abstract
Modularity is a well-known programming paradigm in computer science. Programmers should design their programs in a modular way, that is, as a combination of small programs. These so-called modules are implemented separately and are then integrated to form the program as a whole. Because TRSs have many important applications in computer science, it is important (not only from a theoretical viewpoint but also from a practical point of view) to know under which conditions a combined system inherits desirable properties from its constituent systems. For this reason modular aspects of term rewriting have been extensively studied in the past decade. To render a detailed account of all known modularity results goes beyond the scope of this book. Instead, we will give an overview of the most important results for TRSs (Section 8.2) and CTRSs (Section 8.7). We will also present selected results in detail.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ohlebusch, E. (2002). Modularity. In: Advanced Topics in Term Rewriting. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3661-8_8
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3661-8_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2921-1
Online ISBN: 978-1-4757-3661-8
eBook Packages: Springer Book Archive