Concepts for C + + 0 x Revision 1
نویسندگان
چکیده
3 Design rationale 3 3.1 Background research . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Template compilation model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.3 Specific language features in the design space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3.1 Named conformance vs. structural conformance . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3.2 Pseudo-signatures vs. valid expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3.3 Associated types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.3.4 Same-type constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
منابع مشابه
Endl T E X a S
a) SDI revision 00 (0 instances); b) SAM-4 revision 05 (17 instances); c) SPC-4 revision 04 (9 instances); d) SBC-3 revision 03 (1 instance); e) SSC-3 revision 02 (0 instances); f) SMC-3 revision 01 (3 instances); g) MMC-5 revision 03 (1 instance); h) SES-2 revision 14 (1 instance); i) OSD-2 revision 00 (1 instance); j) BCC revision 00 (0 instances); k) ADC-2 revision 04 (1 instance); l) SAS-2 ...
متن کاملOn Firmly Nonexpansive Mappings
It is shown that any A-firmly, 0 < A < 1 , nonexpansive mapping T: C —> C has a fixed point in C whenever C is a finite union of nonempty, bounded, closed convex subsets of a uniformly convex Banach space. Let C be a nonempty subset of a Banach space X, and let X £ (0, 1). Then a mapping T: C —> X is said to be X-firmly nonexpansive if (1) \\Tx Ty\\ < ||(1 X)(x y)+X(Tx Ty)\\ for all x, y £ C. I...
متن کاملConstructive Existence of Minkowski Functionals
In Bishop's constructive mathematics, the framework of this paper, there are many situations where we cannot easily prove the existence of functional whose existence is a trivial consequence of classical logic. One such functional is the Minkowski functional of a convex absorbing set. We shall prove the existence of Minkowski functionals in various spaces, and apply the theorems to establish th...
متن کاملTableau-based revision in SHIQ
Introduction The problem of revising a description logic-based ontology (called DL ontology) is closely related to the problem of belief revision which has been widely discussed in the literature. Among early works on belief revision, the AGM theory (Alchourrón et al., 1985) introduced intuitive and plausible constraints (namely AGM postulates) which should be satisfied by any rational belief r...
متن کاملConnections between C(X) and C(Y), where Y is a subspace of X
In this paper, we introduce a method by which we can find a close connection between the set of prime $z$-ideals of $C(X)$ and the same of $C(Y)$, for some special subset $Y$ of $X$. For instance, if $Y=Coz(f)$ for some $fin C(X)$, then there exists a one-to-one correspondence between the set of prime $z$-ideals of $C(Y)$ and the set of prime $z$-ideals of $C(X)$ not containing $f$. Moreover, c...
متن کامل