Abstract Modularity

Abstract Modularity (2005)

by Michael Abbott , Neil Ghani , Christoph Lüth

Citations:

1 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Abstract Modularity	SVM HeaderParse 0.2
AUTHOR NAME	Michael Abbott	user correction
AUTHOR AFFIL	; 1 Department of Mathematics and Computer Science, University of Leicester	user correction
AUTHOR ADDR	; 2 FB 3 – Mathematik und Informatik, Universität Bremen	user correction
AUTHOR NAME	Neil Ghani	user correction
AUTHOR NAME	Christoph Lüth	user correction
ABSTRACT	Modular rewriting seeks criteria under which rewrite systems inherit properties from their smaller subsystems. This divide and conquer methodology is particularly useful for reasoning about large systems where other techniques fail to scale adequately. Research has typically focused on reasoning about the modularity of specific properties for specific ways of combining specific forms of rewriting. This paper is, we believe, the first to ask a much more general question. Namely, what can be said about modularity independently of the specific form of rewriting, combination and property at hand. A priori there is no reason to believe that anything can actually be said about modularity without reference to the specifics of the particular systems etc. However, this paper shows that, quite surprisingly, much can indeed be said.	user correction
YEAR	2005	user correction
CITATIONS	23 found	ParsCit 1.0