seruting 发表于 2025-3-27 00:41:45

Trees and Other Measures of SizeThis Annex specifies additional characteristics of Ada implementations intended for real-time systems software. To conform to this Annex, an implementation shall also conform to the Systems Programming Annex.

LINE 发表于 2025-3-27 02:15:43

Proof of the Bernoulli ConjectureThis Annex defines facilities for supporting the implementation of distributed systems using multiple partitions working cooperatively as part of a single Ada program.

者变 发表于 2025-3-27 05:29:07

Trees and Other Measures of SizeThis Annex provides a set of facilities relevant to Information Systems programming. These fall into several categories:

埋葬 发表于 2025-3-27 09:43:57

http://reply.papertrans.cn/24/2359/235829/235829_34.png

群居男女 发表于 2025-3-27 16:33:32

http://reply.papertrans.cn/24/2359/235829/235829_35.png

2否定 发表于 2025-3-27 19:22:05

Section 4: Names and Expressions,The rules applicable to the different forms of name and expression, and to their evaluation, are given in this section.

多产鱼 发表于 2025-3-28 00:45:00

Section 8: Visibility Rules,The rules defining the scope of declarations and the rules defining which identifiers, character_literals, and operator_symbols are visible at (or from) various places in the text of the program are described in this section. The formulation of these rules uses the notion of a declarative region.

Pituitary-Gland 发表于 2025-3-28 02:56:06

http://reply.papertrans.cn/24/2359/235829/235829_38.png

Gratuitous 发表于 2025-3-28 07:19:43

Section 10: Program Structure and Compilation Issues,The overall structure of programs and the facilities for separate compilation are described in this section. A . is a set of ., each of which may execute in a separate address space, possibly on a separate computer.

Harpoon 发表于 2025-3-28 13:04:08

Section 12: Generic Units,A . is a program unit that is either a generic subprogram or a generic package. A generic unit is a ., which can be parameterized, and from which corresponding (nongeneric) subprograms or packages can be obtained. The resulting program units are said to be . of the original generic unit.
页: 1 2 3 [4] 5 6 7
查看完整版本: Titlebook: Consolidated Ada Reference Manual; Language and Standar S. Tucker Taft,Robert A. Duff,Erhard Ploedereder Textbook 2000 Springer-Verlag Berl