Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts
Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Formalization of Programming Concepts

Авторы: Diaz J. (ed.), Ramos I. (ed.)

Аннотация:

This report describes the programming language Ada. designed in accordance with the Steelman requirements of the United States Department of Defense. Overall, the Steelman requirements call for a language with considerable expressive power covering a wide application domain. As a result the language includes facilities offered by classical languages such as Pascal as well as facilities often found only in specialized languages. Thus the language is a modern algorithmic language with the usual control structures, and the ability to define types and subprograms. It also serves the need for modularity, whereby data, types, and subprograms can be packaged. It treats modularity in the physical sense as well, with a facility to support separate compilation.
In addition to these aspects, the language covers real time programming, with facilities to model parallel tasks and to handle exceptions. It also covers systems program applications. This requires access to system dependent parameters and precise control over the representation of data. Finally, both application level and machine level input-output are defined.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1981

Количество страниц: 242

Добавлена в каталог: 03.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Scheduling      9.8
Scope      8.2
scope of a declaration      8.1
Scope of declaration      8.2
Scope rules      8 8.1 8.2
Select alternative      9.7.1
Select error exception      11.1
SELECT statement      5.1 9.7
Selected component      4.1 4.1.3
Selective wait      9.7 9.7.1
Select_error      11.1
Select_error exception      9.7.1
Send_control predefined procedure      14.6
Separate compilation      10.1
Sequence of statements      5.1 5.3
Set_col subprogram      14.3.2
Set_input function      14.3.1
Set_line_length subprogram      14.3.2
Set_output function      14.3.1
Set_read operation      14.1.2
Set_write operation      14.1.2
Shared variable      9.11
Shared_variable_update procedure      9.11
Short circuit      4.5
Short circuit control form      4.5.1
Short_float type      3.5.7
Simple expression      3.7.3 4.4
simple statement      5.1
Simple_expression      4.1.3
Single quote character      2.5
Size operation      14.1.2
Size specification      13.2
Skip line subprogram      14.3.2
Slice      4.1 4.1.2
Slicing      4.1.2
Small attribute      3.5.8
Space      2.1
Spacing convention      2.2
Special character      2.1
Standard input file      14.3
Standard output file      14.3
Standard package      10.1.1 C
Standard_input function      14.3.1
Standard_output function      14.3.1
Statement      5 5.1
Static expression      4.9 10.6
Status_error exception      14.1.1
Storage unit      13.2
Storage_error      11.1
Storage_error exception      3.9 4.8 11.1 13.2
Storage_size attribute      9.9
String      2.6 3.6.3
String bracket      2.10
String input-output      14.3.3
string type      3.6.3
Subprogram      6 6.1 6.3
Subprogram body      3.9 6 6.3
Subprogram call      6.4
Subprogram declaration      6 6.1
Subprogram identifier      6.1
Subprogram specification      6.1 6.3 8.5 10.1 10.2 12.1
Subtraction      4.5.3
Subtype      3.3
Subtype declaration      3.3
Subtype indication      3.2 3.3 3.4 3.6 3.7 3.7.1 3.8 4.4 6.1 12.3
Subunit      10.1 10.2
Subunit of compilation unit      10.2
Succ attribute      3.5.5
Suppress pragma      11.7
Suppressing exceptions      11.7
Suspend execution      9.5 9.6
Suspend task      9.5 9.6 9.7
Synchronization      9.5 9.11
System package      13.7
Tabulation character      2.2
Task      9 9.1 9.2 9.3
Task activation      9.3
Task body      3.9 9.1
Task declaration      3.9 9.1
Task execution      9.2 9.3
Task object      9.1 9.2
Task scheduling      9.8
Task specification      9.1
Task storage      13.2
Task termination      9.3 9.4
Task type      9 9.1 9.2
Tasking_error      11.1
Tasking_error exception      9.3 9.5 9.10 11.1 11.4 11.5 11.6
template      12 12.2
Term      4.4
Terminate alternative      9.7.1
Terminated attribute      9.9
Terminated task      9.3 9.4
Termination      9.4
Text input-output      14.3
Text input-output primitives      14.4
Text_io package      14.3 14.4
Time      9.6
Timed entry call      9.7 9.7.3
Transliteration      2.10
TRUE      3.5.3
Truncate operation      14.1.2
Truth value      3.5.3
TYPE      3.1 3.3
Type class      3.3
Type conversion      4.4 4.6
Type declaration      3.3
Type definition      3.3
Type mark      3.3 3.6 4.6 4.7 8.5
Umited private type      7.4.2
Unary operator      4.1 4.4 4.5 4.5.4
Unchecked storage deallocation      13.10.1
Unchecked type conversion      13.10.2
Unconstrained array      3.6
Unconstrained record type      3.7
Underscore      2.3 2.4 2.4.1
Universal fixed type      3.5.9 4.5.5
Universal integer type      2.4 3.2 3.5.4 4.10
Universal real type      2.4 3.2 3.5.6 4.10
Upper bound      3.5
Upper case letter      2.1 2.3
Urgency      9.8
Use clausa      3.9 8.4 10.1
Use_error exception      14.1.2
Val attribute      3.5.5
Value      3.2 3.3 3.7.1
value attribute      A
Variable      3.2 4.1
Variable name      4.1
Variant      3.7.1 3.7.3
Variant part      3.7 3.7.1 3.7.3
Variant record      3.7.1
Visibility of declaration      8.3
Visibility of identifier      8.3
Visibility rules      8 8.1 8.3
Visible      8.1
Visible part      7.2
wait      9.7.1
While loop      5.5
Width parameter      14.3.4
with clause      10.1 10.1.1
Write operation      14.1.2
Xor operator      4.4 4.5.1
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте