Loading...
Please wait, while we are loading the content...
Reenement of Parameterized Algebraic Speciications Reenement of Parameterized Algebraic Speciications
| Content Provider | Semantic Scholar |
|---|---|
| Author | Srinivas, Yellamraju V. |
| Copyright Year | 1997 |
| Abstract | A reenement relation for parameterized algebraic speciications is introduced in which the body speciication is reened covariantly (i.e., specialized) while the parameter speciication is reened contravariantly (i.e., generalized). This reenement is similar to the subtyping relation between function types. Assuming a few relatively weak axioms about parameterized speciications, re-nement is shown to satisfy the expected properties for software development in-the-large: independent reenement of body and parameter, and closure under sequential composition, instantiation and a suitable form of`horizontal' composition. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |