Diaz J. (ed.), Ramos I. (ed.) — Formalization of Programming Concepts :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

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.

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Abnormal termination      9.10
Abort statement      5.1 9.10
abs function      4.5.7 C
Accept statement      5.1 9.5 9.7.1
Access object      3.8
Access type      3.8
Access type definition      3.3 3.8 12.1
Access value      3.8
Access_check      11.7
Accuracy constraint      3.5.6
Accuracy of operations      4.5.8
Accuracy_constraint      3.3
Actual delta      3.5.9 13.2
Actual delta attribute      3.5.10
actual parameter      6.4
Actual parameter association      6.4.1
Actual parameter part      6.4 9.5
adding operator      4.4 4.5 4.5.3
Addition      4.5.3
Address specification      13.1 13.5
Aggregate      3.6.3 4.3 4.4 4.7
Aggregate notation      4.3
Alignment clause      13.4
ALL      4.1.3
Allocator      3.8 4.4 4.8
alternative      9.7.1
and operator      4.4 4.5.1
And then control form      4.4 4.5.1
Arbitrary selection      9.7.1
Argument      2.8
Arithmetic operator      4.5
arithmetic operators      C
Array aggregate      4.3.2
Array assignment      5.2.1
Array attribute      3.6.2
Array component      3.6
Array formal parameter      3.6.1
Array index      3.6
Array indexing      4.1.1
array operations      3.6
Array type conversion      4.6
Array type definition      3.3 3.6 3.7 12.1
Array_type_definition      3.2
ASCII      3.5.2
ASSIGNMENT      5.1
assignment statement      5.1 5.2
Asynchronous termination      9.10
Attribute      3.3 4.1 4.1.4 13.2
Attribute of a task      9.9
Attribute of an entry      9.9
Attributes of discrete types      3.5.5
Attributes of fixed point types      3.5.10
Attributes of floating point types      3.5.8
Base      2.4.1
Base attribute      3.3
Base parameter      14.3.5
base type      3.3
Based integer      2.4.1
Based number      2.4 2.4.1
Basic character set      2.1
Basic loop      5.5
Binary mantissa      3.5.7
Bits attribute      3.5.10
BLANK      14.3.3
Block      5.1 5.6
Block identifier      5.1 5.6
body      3.9 6.3 7.1 7.3 10.2
Body stub      3.9 10.2
Boolean expression      3.5.3
Boolean type      3.5.3
Boolean type input-output      14.3.6
Boolean value      3.5.3
Bound      3.5 3.6 3.6.1
Bounds of aggregate      4.3.2
box      3.6 12.1.2
calendar      9.6
Calling conventions for input-output      14.2
Case statement      5.1 5.4
Catenation      2.6 3.6.3 4.5.3
Change of representation      13.6
CHARACTER      2.1 2.6
Character input-output      14.3.3
Character literal      2.5
character string      2.6 4.2
Character type      3.5.2
Choice      3.7.3 4.3 5.4
clock      9.6
Close procedure      14.1.1
Closed alternative      9.7.1
Code statement      5.1 13.8
Col subprogram      14.3.2
Collection      3.8
Collection size      13.2
colon      2.10
comment      2.7
Communication      9.5
Compatibility of constraint      3.3
Compatibility of fixed point constraints      3.5.9
Compatible discriminant constraint      3.7.2
Compatible index constraint      3.6.1
Compatible range constraint      3.5
Compilation      10.1
compilation order      10.3
Compilation time      4.9
compilation unit      10 10.1
Compiler commands      10.4
Component      3.6 3.7 4.1
Component association      4.3
Component declaration      3.7
Component list      3.7 3.7.3
Component subtype      3.6
Composite object      3.6 3.7
Composite type      3.3 3.6 3.7
Composite value      3.3
compound statement      5.1
Compound symbol      2.2
Condition      5.3 5.5 5.7 9.7.1
conditional compilation      10.6
Conditional entry call      9.7 9.7.2
Configuration      13.7
Conjunction      4.5.1
Constant      3.2
Constant declaration      3.2
Constrained array      3.6
Constraint      3.3
Constraint compatibility      3.5.7
Constraint error      3.5.4 3.5.5 3.5.6
Constraints on parameters      6.4.1
Constraint_error exception      3.3 3.6.1 3.7 3.7.2 4.1.1 4.1.2 4.1.3 4.3 4.5.1 4.5.6 4.6 4.7 5.1 5.2.1 5.8. 6.4.1 8.5 9.5 11.1. 12.3.2 12.3.3 12.3.4 12.3.5 12.3.6 14.3.5
context      4.3.2
Context specification      10.1
control character      2.2 2.6
Control form      4.5 4.5.1
Count attribute      9.9
CREATE PROCEDURE      14.1.1
Creation of object      4.8
Current column      14.3.2
Current line      14.3.2
Current read position      14.1.2
Current size      14.1.2
Current time      9.6
Current write position      14.1.2
Current_input function      14.3.1
Current_output function      14.3.1
Data_error exception      14.1.2 14.3.4
Decimal digits      3.5.7
decimal number      2.4
declaration      3.1 3.9
Declarative item      3.9 7.1
Declarative part      3.9 5.6 6.3 7.1 9.1

Declarative part of a block      5.6
Default actual parameter      6.4.2
Default initial value      3.7
Default input file      14.3
Default output file      14.3
Default parameter value      6.1
Deferred constant      7.4
Delay alternative      9.7.3
Delay statement      5.1 9.6 9.7.1 9.7.3
Delete procedure      14.1.1
Delimiter      2.2
Delta      3.5.9
Delta attribute      3.5.10
Dependence between units      10.1.1
Dependence relation      10.1.1
Dependent task      9.4
Derived subprogram      3.4
Derived type      3.4
Derived type conversion      4.6
Derived type definition      3.3 3.4
Designator      6.1
Device_error exception      14.1.2
digit      2.1 2.3 2.4 2.4.1
DIGITS      3.5.7
Digits attribute      3.5.8
Direct visibility      8.3
Discrete range      3.6 3.6.1 3.7.3 4.1.2 5.5 9.5
Discrete type      3.5 3.5.5
Discriminant      3.3 3.7.1
Discriminant constraint      3.3 3.7.2
Discriminant declaration      3.7 3.7.1
Discriminant part      3.3 3.7 3.7.1 3.8
Discriminant specification      3.7.2
Discriminant value      3.7.1
DISCRIMINANT_CHECK      11.7
Diseriminant_part      12.1
Division      4.5.5
division operator      4.5.5
DIVISION_CHECK      11.7
double quote      2.6
Duration      9.6
dynamic array      3.6.1 3.7.1
Dynamic association of handlers with exceptions      11.4
Dynamic constraint      3.3
Elaboration      3.1 3.9
Elaboration of an iteration clause      5.5
Elaboration of context      10.1
Elaboration of library units      10.5
Elaboration of task body      9.1
Elaboration of task specification      9.1
Elaboration of type definition      3.3
Elaboration order      10.5
Else part of select      9.7.1 9.7.2
Emax attribute      3.5.8
Emin attribute      3.5.8
Encapsulated data type      7.4.2
End position      14.1.2
End_error exception      14.1.2
End_of_file operation      14.1.2
End_of_line subprogram      14.3.2
Entity      3.1
Entry      9.5
Entry address      13.5.1
Entry call      5.1 9.5 9.7 9.7.3
Entry declaration      9.1 9.5
Entry family      9.5
Entry queue      9.5
Entry representation specification      13.1
Enumeration literal      3.5.1 4.2
Enumeration type      3.5.1
Enumeration type declaration      3.5.1
Enumeration type definition      3.3 3.5.1
Enumeration type input-output      14.3.7
Enumeration type representation      13.1 13.3
Enumeration_io package      14.3.7
Epsilon attribute      3.5.8
Equality      4.5.2
equality operator      4.5.2
Equivalent subprogram specifications      6.6
Error bound      3.5.6 3.5.9
exception      11 11.1
Exception choice      11.2
Exception declaration      11.1
Exception during elaboration      11.4.2
exception handler      5.6 6.3 7.1 9.1 11.2
Exception in declarative part      9.3
Exception in task activation      9.3
Exception name      11.2
Exception raised in communicating tasks      11.5
Exception raised in declarations      11.4.2
Exception raised in statements      11.4.1
Exclamation mark      2.10
Exclusive disjunction      4.5.1
Exit statement      5.1 5.7
EXPONENT      2.4 2.4.1 3.5.7
Exponent part      2.4
Exponentiating operator      4.4 4.5 4.5.6
exponentiation      4.5.6
Expression      2.8 3.2 4.4
Expression evaluation      4.5
Extended_digit      2.4.1
External file      14.1
Factor      4.4
Failure exception      11.6
FALSE      3.5.3
Family of entries      9.5
File layout      14.3.2
File line length      14.3.2
FILE type      14.1
First attribute      3.5 3.6.2
Fixed point constraint      3.5.6 3.5.9
Fixed point input-output      14.3.5
Fixed point number      3.5.9
Fixed point type      3.5.9
Fixed_Jo package      14.3.5
float type      3.5.7
Floating point constraint      3.5.6 3.5.7
Floating point input-output      14.3.5
Floating point number      3.5.7
Floating point type      3.5.7
Float_Jo package      14.3.5
For loop      5.5
Formal parameter      6.2 6.4 12.3
Formal part      6.1 9.5
Function      6 6.1 6.5
function body      6.3
function call      4.1 4.4 6.4
Function declaration      6.1
function designator      6.1
Function specification      6.1
Function subprogram      6.5
Generic actual parameter      12.3
Generic association      12.3
Generic body      12.2
Generic declaration      12.1
Generic formal parameter      12.1
Generic formal subprogram      12.1.3
Generic formal type      12.1.2
generic function      12.1
Generic instantiation      12
Generic instantiations      12.3
generic package      12.1
Generic package declaration      7.1 12.1
Generic package instantiation      12.3
Generic parameter      12.1
Generic part      12.1
Generic procedure      12.1
Generic program unit      12
Generic program units      10.3
Generic subprogram      12.1

1 2 3

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте