DOI: 10.29007/l7kx
|View full text |Cite
|
Sign up to set email alerts
|

Pandora's Box

Abstract: An algebraic specification is viewed as a black box that rewrites input to a ``most basic'' canonical form. We argue that a canonical form should be given for each specific specification, to prevent ``cheating'' in the implementation. Furthermore, we argue that the definition of the canonical form may sometimes require semantic rather than syntactic information.To relate an OO implementation to a specification requires opening the black box to some extent; we assess the choices to be made here.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

3
14
0

Publication Types

Select...
7

Relationship

0
7

Authors

Journals

citations
Cited by 15 publications
(17 citation statements)
references
References 0 publications
3
14
0
Order By: Relevance
“…The quantity S is sensitive to the integrated emission over these windows and the photospheric radiation transmitted by H and K instrumental passbands, both of which are color dependent (Middelkoop 1982). As mentioned in Section 1, Mittag et al (2013, hereafter M13) defined a new proxy, + R HK , which is converted from the S index by eliminating the photospheric contributions (Noyes et al 1984) and the socalled basal chromospheric flux (Schrijver 1987 (Middelkoop 1982). The photospheric flux in the HK bands  HK,phot , the basal chromospheric flux  HK,basal , and the continuum flux  RV were calculated from the B−V color index (Ramírez & Meléndez 2005).…”
Section: Determining the + R Hk Indexmentioning
confidence: 99%
See 1 more Smart Citation
“…The quantity S is sensitive to the integrated emission over these windows and the photospheric radiation transmitted by H and K instrumental passbands, both of which are color dependent (Middelkoop 1982). As mentioned in Section 1, Mittag et al (2013, hereafter M13) defined a new proxy, + R HK , which is converted from the S index by eliminating the photospheric contributions (Noyes et al 1984) and the socalled basal chromospheric flux (Schrijver 1987 (Middelkoop 1982). The photospheric flux in the HK bands  HK,phot , the basal chromospheric flux  HK,basal , and the continuum flux  RV were calculated from the B−V color index (Ramírez & Meléndez 2005).…”
Section: Determining the + R Hk Indexmentioning
confidence: 99%
“…The study of stellar activity in terms of different emission features originating from different parts of atmospheres has demonstrated the close connection between stellar activity, rotation, magnetic field, and inner stellar dynamo (Babcock 1958;Middelkoop 1982;Noyes et al 1984). The magnetic fields generated through magnetohydrodynamic processes control the structure and the energetic balance of stellar atmospheric plasma, bringing a variety of phenomena, e.g., inhomogeneous dark spots and bright faculae from the photosphere, emissions in the line cores from the chromosphere and the transition region, and thermal X-rays and eruptive flares from the coronal region (Catalano et al 1999).…”
Section: Introductionmentioning
confidence: 99%
“…Wilson scale with the calibration coefficients for NARVAL derived by Marsden et al (2014). To avoid color-dependence, S -index were transformed to R HK (Middelkoop 1982, Rutten 1984. To subtract the photospheric adjunct, we applied the correction formula of Noyes (1984).…”
Section: Chromospheric Activitymentioning
confidence: 99%
“…emission from the photosphere, a so-called basal flux present even in the total absence of magnetic activity, and finally, the magnetic activity related emission in the line cores of the Ca II H&K absorption lines. Middelkoop (1982) and Rutten (1984) were the first to propose a method to convert the S MWO index into an absolute flux. To estimate the true chromospheric flux excess, i.e.…”
Section: R +mentioning
confidence: 99%