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

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

Generic subprogram declaration      6.1 12.1
Generic subprogram instantiation      6.1 12.3
Generic type definition      12.1 12.1.2
Get procedure      14.3
Get_string function      14.3.3
global      8.3
Global variable      8.3
GOTO statement      5.1 5.9
Handling an exception      11
hidden      8.3
Hidden entity      8.2
Hide      8.3
Hiding a declaration      6.6
Hiding a subprogram      6.6
Identifier      2.3 2.8 4.1
Identifier list      3.2 3.7 3.7.1
Identity      4.1 4.5.4
If statement      5.1 5.3
Image attribute      A
Implementation defined pragma      F
implicit conversion      3.5.4 3.5.6
In membership test      4.4
In mode      6.1
In out mode      6.1
In out parameter      6.2
In parameter      6.2
Inclusive disjunction      4.5.1
Incomplete type declaration      3.8
Incomplete type definition      3.3
INDEX      3.6
Index bound      3.7
Index constraint      3.6 3.6.1 3.7.1
Index range      3.6
Index value      3.6 3.6.1
Indexed component      4.1 4.1
Indexing      3.6.1
Inequality      4.5.2
inherited      3.4
Initial value      3.2
Initialization      3.2 6.1
Inline pragma      6.3 10.3 B
Inline subprogram      6.3
Input-output package      14.2
Instance      12
INTEGER      2.4 2.4.1
Integer input-output      14.3.5
Integer literal      2.4
Integer type      3.5.4
Integer type definition      3.3
Integer_io package      14.3.5
Integer_ty pe_definition      3.5.4
Interface pragma      13.9
Interface to other languages      13.9
Interrupt      13.5-1
Interrupt entry      13.5.1
Interval overflow      4.5.8
Introduce an identifier      3.1 8.2
In_file      14.1
is_open function      14.1.1
Item parameter      14.3
Iteration clause      5.5
Label      5.1
Label declaration      5.1
Language defined pragma      B
Large attribute      3.5.8 3.5.10
Last attribute      3.5 3.6.2
Last operation      14.1.2
Layout_error exception      14.3.2
Length attribute      3.6.2
length specification      13.1 13.2
letter      2.3 2.4.1
Letter or digit      2.3
Lexical unit      2.2
Library file      10.4
Library unit      10.1 10.1.1 10.5
Limited generic formal part      12.1.2
line length      14.3.2
Line marks      14.3.3
Line subprogram      14.3.2
Line_Jength subprogram      14.3.2
Literal      2.4 3.2 4.2 4.4
Literal expression      4.10
lndex_check      11.7
lnout_file      14.1
local      8.3
Location      13.4
logical negation      4.1 4.5.4
Logical operator      4.5 4.S.1
Long_float type      3.5.7
Loop      5.5
Loop identifier      5.1 5.5
Loop parameter      5.5
Loop statement      5.1 5.5
Low level input-output      14.6
Lower bound      3.5
Lower case letter      2.1 2.3
Low_leveMo standard package      14.6
Machine code address      13.5
Machine code insertion      13.8
Machine dependent constant      13.7
Machine_emax      13.7.1
Machine_emin      13.7.1
Machine_radix      13.7.1
Machine_rounds      13.7.1
Machine__mantissa      13.7.1
Machine__overflows      13.7.1
Main program      10.1
Mantissa      3.5.7
Mantissa attribute      3.5.8
Mapping between types      13.1
Matching rules for general formal subprograms      12.3.6
Matching rules for generic derived types      12.3.7
Matching rules for generic formal access types      12.3.5
Matching rules for generic formal array types      12.3.4
Matching rules for generic formal objects      12.3.1
Matching rules for generic formal private types      12.3.2
Matching rules for generic formal scalar types      12.3.3
Membership operator      4.5.2
Membership test      4.5
Minus sign      2.4 4.5.4
mod operator      4.5.5
MODE      6.1 6.2
Model interval      4.5.8
Model number      3.5.6 3.5.7 3.5.9
Modulus      4.5.5
Multi-dimensional array      3.6
Multiplication      4.5.5
multiplying operator      4.4 4.5 4.5.5
NAME      3.1 4.1 4.1.2 4.4
name function      14.1.1
Name of numeric literal      3.2
name resolution      8.4
Named component      4.3
Named parameter      6.4
Named parameter association      6.4
Name_error exception      14.1.1
Natural subtype      3.6.3
Negation      4.1 4.5.4
Newsline subprogram      14.3.2
Next_read operation      14.1.2
Next_write operation      14.1.2
NOT      4.5.4
Not in membership test      4.4
NOT operator      4.4
NULL      4.2
Null access value      3.8
Null array      3.6.1
Null index range      3.6.1
Null range      3.5 3.6.1
Null record      3.7

Null slice      4.1.2
Null statement      5.1
NUMBER      2.4
Number declaration      3.2
numeric literal      2.4 3.2 4.2 4.10
Numeric operation      4.5
Numeric tv Des      3.5
Numeric type      3.5
Numeric type conversion      4.6
Numeric type input-output      14.3.5
Numeric_error      11.1
Numeric_error exception      3.5.8 4.5.3 4.5.4 4.5.5 4.5.6 4.5.7 4.5.8 11.1 11.7
Object      3.2
Object adJress      13.5
Object declaration      3.2
Object Name      3.2
Open alternative      9.7.1
Open procedure      14.1.1
Operator      4.5
Operator declaration      6.7
Operator symbol      4.1 4.1.3 6.1
Optimization      10.3 11.8
Optimization and exceptions      11.8
Or else control form      4.4 4.5.1
OR operator      4.4 4.5.1
Order of elaboration      10.5
order of evaluation      5.2 11.8
Ordering operator      4.5.2
Others      3.7.3 11.2
Out mode      6.1
out parameter      6.2
Out_file      14.1
Overflow      3.5.8 4.6
OVERFLOW_CHECK      11.7
Overloaded aggregate      4.3
Overloaded definition      3.4
Overloaded literal      3.4 3.5.1 4.7
Overloading a subprogram      6.6
Overloading an operator      6.7
overloading resolution      8.4
Own variable      7.3
Pack pragma      13.1
Package      7
Package body      3.9 7.1 7.3 10.1
Package declaration      3.9 7.1 7.2 10.1
Package identifier      7.1
Package specification      7.1 7.2 12.1
Package standard      10.1.1 C
Package structure      7.1
Package visible part      7.2
PARAMETER      6.1 6.2
Parameter association      6.4 6.4.1
Parameter declaration      6.1 12.1
Parameter declaration in generic part      12.1.1
Parameter name      6.2
Parameter type      6.1
Parent type      3.3 3.4
Parent unit      10.2
Percent character      2.10
Plus sign      2.4 4.5.4
Pos attribute      3.5.5
position number      3.5
Positional component      4.3
Positional parameter      6.4
Positional parameter association      6.4
Positional record aggregate      4.3.1 4.3.2
pragma      2.8
Pragma inline      6.3 10.3
pragma priority      9.8
Precedence      4.5
PRECISION      3.5.6
Pred attribute      3.5.5
Predefined environment      8.6
Predefined operation      C
Predefined operator      4.5
Predefined operators      C
Predefined type      C
Primary      4.4
Priority      9.8
priority attribute      9.9
Private part      7.2 7.4
Private type      3.3 7.4.1
Private type definition      3.3 7.4 12.1
Procedure      6 6.1
Procedure body      6.3
Procedure call      5.1 6.4
Procedure specification      6.1
Processing resources      9.8
PROGRAM      10
Program component      3.9
program library      10.1 10.4
Program optimization      10.6
Program unit      6 7 9
Propagation of exception      11.2 11.4.1 11.4
Put procedure      14.3
qualification      3.5.1
Qualified expression      4.4 4.7
Raise an exception      11.3
raise statement      5.1 11.3
Raising an exception      11
RANGE      3.5 3.6 4.4
range attribute      3.6.2
Range constraint      3.3 3.5 3.5.7 3.5.9 3.6
RANGE_CHECK      11.7
Range_constraint      3.5.4
Read operation      14.1.2
Real literal      2.4
Real type      3.5 3.5.6
Real type definition      3.3 3.5.6
Real value      3.5.6
Receive_controi predefined procedure      14.6
Recompilation      10.3
Record      3.7
Record aggregate      4.3.1
Record component      3.7
Record discriminant      3.7.1
Record object      3.7
Record storage      13.4
Record type      3.7
Record type definition      3.3 3.7
Record type representation      13.1 13.4
Record value      3.3 3.7 3.7.1
Recursion      3.3 6.1
Recursive procedure      6.1
Redeclaration rules      8.2
Relation      4.4
Relation operator      4.5.2
relational expression      4.4
Relational operator      4.4 4.5 4.5.2
Relative precision      3.5.7
Rem operator      4.5.5
Remainder      4.5.5
renaming      8.5
Renaming declaration      8.5
Rendezvous      9.5
Representation attribute      13.7
Representation attributes of real type      13.7.1
Representation specification      3.9 7.1 9.1 13.1
Reserved word      2.9
Reset_read operation      14.1.2
Reset_write operation      14.1.2
Result type      6.1
Return statement      5.1 5.8
reverse      5.5
Satisfy a discriminant constraint      3.7.2
Satisfy a fixed point constraint      3.5.9
Satisfy a floating point constraint      3.5.7
Satisfy a range constraint      3.5
Satisfy an index constraint      3.6.1
Scalar type      3.5

1 2 3

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте