Ada 95 reference manual: language and standard libraries ; international standard ISO/IEC 8652:1995(E)
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin u.a.
Springer
1997
|
| Series: | Lecture notes in computer science
1246 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 526 S. |
| ISBN: | 3540631445 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011358064 | ||
| 003 | DE-604 | ||
| 005 | 19970919 | ||
| 007 | t| | ||
| 008 | 970521s1997 gw |||| 00||| eng d | ||
| 016 | 7 | |a 950376639 |2 DE-101 | |
| 020 | |a 3540631445 |9 3-540-63144-5 | ||
| 035 | |a (OCoLC)246327146 | ||
| 035 | |a (DE-599)BVBBV011358064 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-703 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.73.A35A22 1995 | |
| 082 | 0 | |a 005.13/3 | |
| 082 | 0 | |a 005.13/3 21 | |
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 356f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Ada 95 reference manual |b language and standard libraries ; international standard ISO/IEC 8652:1995(E) |c S. Tucker Taft ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1997 | |
| 300 | |a XVIII, 526 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1246 | |
| 650 | 4 | |a Ada (Computer program language) | |
| 650 | 0 | 7 | |a Ada 95 |0 (DE-588)4436900-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ada 95 |0 (DE-588)4436900-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Taft, S. Tucker |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1246 |w (DE-604)BV000000607 |9 1246 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633228&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007633228 | |
Record in the Search Index
| _version_ | 1820874853024006144 |
|---|---|
| adam_text |
S. TUCKER TAFT ROBERT A. DUFF (EDS.) ADA 95 REFERENCE MANUAL LANGUAGE
AND STANDARD LIBRARIES INTERNATIONAL STANDARD ISO/IEC 8652:1995(E)
SPRINGER ISO/IEC 8652:1995(E) CONTENTS FOREWORD X INTRODUCTION XI 1.
GENERAL 1 1.1 SCOPE 1 1.1.1 EXTENT 1 1.1.2 STRUCTURE 2 1.1.3 CONFORMITY
OF AN IMPLEMENTATION WITH THE STANDARD 4 1.1.4 METHOD OF DESCRIPTION AND
SYNTAX NOTATION 5 1.1.5 CLASSIFICATION OF ERRORS 7 1.2 NORMATIVE
REFERENCES 8 1.3 DEFINITIONS 8 2. LEXICAL ELEMENTS 9 2.1 CHARACTER SET 9
2.2 LEXICAL ELEMENTS, SEPARATORS, AND DELIMITERS 10 2.3 IDENTIFIERS 11
2.4 NUMERIC LITERALS 12 2.4.1 DECIMAL LITERALS 12 2.4.2 BASED LITERALS
12 2.5 CHARACTER LITERALS 13 2.6 STRING LITERALS 13 2.7 COMMENTS 14 2.8
PRAGMAS 14 2.9 RESERVED WORDS 17 3. DECLARATIONS AND TYPES 19 3.1
DECLARATIONS 19 3.2 TYPES AND SUBTYPES 20 3.2.1 TYPE DECLARATIONS 21
3.2.2 SUBTYPE DECLARATIONS 23 3.2.3 CLASSIFICATION OF OPERATIONS 24 3.3
OBJECTS AND NAMED NUMBERS 24 3.3.1 OBJECT DECLARATIONS 26 3.3.2 NUMBER
DECLARATIONS 28 3.4 DERIVED TYPES AND CLASSES 28 3.4.1 DERIVATION
CLASSES 31 COPYRIGHT 1992,1993,1994,1995 INTERMETRICS,INC. THIS
COPYRIGHT IS ASSIGNED TO THE U.S. GOVERNMENT. ALL RIGHTS RESERVED.
PERMISSION IS GRANTED TO THE AMERICAN NATIONAL STANDARDS INSTITUTE
(ANSI) TO COPY THIS DOCUMENT, IN WHOLE OR IN PART, IN ANY FORM OR BY ANY
MEANS, AS IS OR WITH ALTERATIONS, PROVIDED THAT (1) ALTERATIONS ARE
CLEARLY MARKED AS ALTERATIONS AND (2) THIS COPYRIGHT NOTICE IS INCLUDED
UNMODIFIED IN ANY COPY. ISO/IEC 8652:1995(E) 3.5 SCALAR TYPES 32 3.5.1
ENUMERATION TYPES 36 3.5.2 CHARACTER TYPES 37 3.5.3 BOOLEAN TYPES 38
3.5.4 INTEGER TYPES 38 3.5.5 OPERATIONS OF DISCRETE TYPES 41 3.5.6 REAL
TYPES 42 3.5.7 FLOATING POINT TYPES 43 3.5.8 OPERATIONS OF FLOATING
POINT TYPES 44 3.5.9 FIXED POINT TYPES 45 3.5.10 OPERATIONS OF FIXED
POINT TYPES 47 3.6 ARRAY TYPES 48 3.6.1 INDEX CONSTRAINTS AND DISCRETE
RANGES 50 3.6.2 OPERATIONS OF ARRAY TYPES 51 3.6.3 STRING TYPES 52 3.7
DISCRIMINANTS 52 3.7.1 DISCRIMINANT CONSTRAINTS 55 3.7.2 OPERATIONS OF
DISCRIMINATED TYPES 56 3.8 RECORD TYPES 56 3.8.1 VARIANT PARTS AND
DISCRETE CHOICES 59 3.9 TAGGED TYPES AND TYPE EXTENSIONS 60 3.9.1 TYPE
EXTENSIONS 62 3.9.2 DISPATCHING OPERATIONS OF TAGGED TYPES 63 3.9.3
ABSTRACT TYPES AND SUBPROGRAMS 65 3.10 ACCESS TYPES 67 3.10.1 INCOMPLETE
TYPE DECLARATIONS 69 3.10.2 OPERATIONS OF ACCESS TYPES 70 3.11
DECLARATIVE PARTS 73 3.11.1 COMPLETIONS OF DECLARATIONS 74 4. NAMES AND
EXPRESSIONS 75 4.1 NAMES 75 4.1.1 INDEXED COMPONENTS 76 4.1.2 SLICES 77
4.1.3 SELECTED COMPONENTS 78 4.1.4 ATTRIBUTES 79 4.2 LITERALS 80 4.3
AGGREGATES 81 4.3.1 RECORD AGGREGATES 82 4.3.2 EXTENSION AGGREGATES 83
4.3.3 ARRAY AGGREGATES 84 4.4 EXPRESSIONS 87 4.5 OPERATORS AND
EXPRESSION EVALUATION 88 4.5.1 LOGICAL OPERATORS AND SHORT-CIRCUIT
CONTROL FORMS 89 4.5.2 RELATIONAL OPERATORS AND MEMBERSHIP TESTS 90
4.5.3 BINARY ADDING OPERATORS 93 4.5.4 UNARY ADDING OPERATORS 94 4.5.5
MULTIPLYING OPERATORS 94 4.5.6 HIGHEST PRECEDENCE OPERATORS 96 4.6 TYPE
CONVERSIONS 97 4.7 QUALIFIED EXPRESSIONS 101 4.8 ALLOCATORS 102 4.9
STATIC EXPRESSIONS AND STATIC SUBTYPES 103 4.9.1 STATICALLY MATCHING
CONSTRAINTS AND SUBTYPES 105 HI ISO/IEC 8652:1995(E) 5. STATEMENTS 107
5.1 SIMPLE AND COMPOUND STATEMENTS - SEQUENCES OF STATEMENTS 107 5.2
ASSIGNMENT STATEMENTS 108 5.3 IF STATEMENTS 110 5.4 CASE STATEMENTS 110
5.5 LOOP STATEMENTS 112 5.6 BLOCK STATEMENTS 113 5.7 EXIT STATEMENTS 114
5.8 GOTO STATEMENTS 115 6. SUBPROGRAMS 117 6.1 SUBPROGRAM DECLARATIONS
117 6.2 FORMAL PARAMETER MODES 119 6.3 SUBPROGRAM BODIES 120 6.3.1
CONFORMANCE RULES 121 6.3.2 INLINE EXPANSION OF SUBPROGRAMS 122 6.4
SUBPROGRAM CALLS 123 6.4.1 PARAMETER ASSOCIATIONS 124 6.5 RETURN
STATEMENTS 125 6.6 OVERLOADING OF OPERATORS 127 7. PACKAGES 129 7.1
PACKAGE SPECIFICATIONS AND DECLARATIONS 129 7.2 PACKAGE BODIES 130 7.3
PRIVATE TYPES AND PRIVATE EXTENSIONS 131 7.3.1 PRIVATE OPERATIONS 133
7.4 DEFERRED CONSTANTS 135 7.5 LIMITED TYPES 136 7.6 USER-DEFINED
ASSIGNMENT AND FINALIZATION 137 7.6.1 COMPLETION AND FINALIZATION 139 8.
VISIBILITY RULES 143 8.1 DECLARATIVE REGION 143 8.2 SCOPE OF
DECLARATIONS 144 8.3 VISIBILITY 145 8.4 USE CLAUSES 147 8.5 RENAMING
DECLARATIONS 148 8.5.1 OBJECT RENAMING DECLARATIONS 148 8.5.2 EXCEPTION
RENAMING DECLARATIONS 149 8.5.3 PACKAGE RENAMING DECLARATIONS 149 8.5.4
SUBPROGRAM RENAMING DECLARATIONS 150 8.5.5 GENERIC RENAMING DECLARATIONS
151 8.6 THE CONTEXT OF OVERLOAD RESOLUTION 151 9. TASKS AND
SYNCHRONIZATION 155 9.1 TASK UNITS AND TASK OBJECTS 155 9.2 TASK
EXECUTION - TASK ACTIVATION 157 9.3 TASK DEPENDENCE - TERMINATION OF
TASKS 158 9.4 PROTECTED UNITS AND PROTECTED OBJECTS 159 9.5 INTERTASK
COMMUNICATION 162 9.5.1 PROTECTED SUBPROGRAMS AND PROTECTED ACTIONS 163
9.5.2 ENTRIES AND ACCEPT STATEMENTS 164 9.5.3 ENTRY CALLS 167 9.5.4
REQUEUE STATEMENTS 169 9.6 DELAY STATEMENTS, DURATION, AND TIME 171 9.7
SELECT STATEMENTS 173 IV ISO/IEC 8652:1995(E) 9.7.1 SELECTIVE ACCEPT 174
9.7.2 TIMED ENTRY CALLS 176 9.7.3 CONDITIONAL ENTRY CALLS 176 9.7.4
ASYNCHRONOUS TRANSFER OF CONTROL 177 9.8 ABORT OF A TASK - ABORT OF A
SEQUENCE OF STATEMENTS 178 9.9 TASK AND ENTRY ATTRIBUTES 179 9.10 SHARED
VARIABLES 180 9.11 EXAMPLE OF TASKING AND SYNCHRONIZATION 181 10.
PROGRAM STRUCTURE AND COMPILATION ISSUES 183 10.1 SEPARATE COMPILATION
183 10.1.1 COMPILATION UNITS - LIBRARY UNITS 183 10.1.2 CONTEXT CLAUSES
- WITH CLAUSES 186 10.1.3 SUBUNITS OF COMPILATION UNITS 186 10.1.4 THE
COMPILATION PROCESS 188 10.1.5 PRAGMAS AND PROGRAM UNITS 189 10.1.6
ENVIRONMENT-LEVEL VISIBILITY RULES 190 10.2 PROGRAM EXECUTION 191 10.2.1
ELABORATION CONTROL 193 11. EXCEPTIONS 195 11.1 EXCEPTION DECLARATIONS
195 11.2 EXCEPTION HANDLERS 195 11.3 RAISE STATEMENTS 196 11.4 EXCEPTION
HANDLING 197 11.4.1 THE PACKAGE EXCEPTIONS 197 11.4.2 EXAMPLE OF
EXCEPTION HANDLING 199 11.5 SUPPRESSING CHECKS 200 11.6 EXCEPTIONS AND
OPTIMIZATION 202 12. GENERIC UNITS 205 12.1 GENERIC DECLARATIONS 205
12.2 GENERIC BODIES 206 12.3 GENERIC INSTANTIATION 207 12.4 FORMAL
OBJECTS 210 12.5 FORMAL TYPES 211 12.5.1 FORMAL PRIVATE AND DERIVED
TYPES 212 12.5.2 FORMAL SCALAR TYPES 213 12.5.3 FORMAL ARRAY TYPES 214
12.5.4 FORMAL ACCESS TYPES 215 12.6 FORMAL SUBPROGRAMS 215 12.7 FORMAL
PACKAGES 217 12.8 EXAMPLE OF A GENERIC PACKAGE 217 13. REPRESENTATION
ISSUES 219 13.1 REPRESENTATION ITEMS 219 13.2 PRAGMA PACK 221 13.3
REPRESENTATION ATTRIBUTES 222 13.4 ENUMERATION REPRESENTATION CLAUSES
227 13.5 RECORD LAYOUT 228 13.5.1 RECORD REPRESENTATION CLAUSES 228
13.5.2 STORAGE PLACE ATTRIBUTES 230 13.5.3 BIT ORDERING 230 13.6 CHANGE
OF REPRESENTATION 231 13.7 THE PACKAGE SYSTEM 232 13.7.1 THE PACKAGE
SYSTEM.STORAGE_ELEMENTS 234 ISO/IEC 8652:1995(E) 13.7.2 THE PACKAGE
SYSTEM.ADDRESS_TO_ACCESS_CONVERSIONS 234 13.8 MACHINE CODE INSERTIONS
235 13.9 UNCHECKED TYPE CONVERSIONS 236 13.9.1 DATA VALIDITY 237 13.9.2
THE VALID ATTRIBUTE 238 13.10 UNCHECKED ACCESS VALUE CREATION 238 13.11
STORAGE MANAGEMENT 239 13.11.1 THE MAX_SIZE_LN_STORAGE_ELEMENTS
ATTRIBUTE 242 13.11.2 UNCHECKED STORAGE DEALLOCATION 242 13.11.3 PRAGMA
CONTROLLED 243 13.12 PRAGMA RESTRICTIONS 243 13.13 STREAMS 244 13.13.1
THE PACKAGE STREAMS 244 13.13.2 STREAM-ORIENTED ATTRIBUTES 245 13.14
FREEZING RULES 247 ANNEXES A. PREDEFINED LANGUAGE ENVIRONMENT 251 A.1
THE PACKAGE STANDARD 252 A.2 THE PACKAGE ADA 255 A.3 CHARACTER HANDLING
255 A.3.1 THE PACKAGE CHARACTERS 256 A.3.2 THE PACKAGE
CHARACTERS.HANDLING 256 A.3.3 THE PACKAGE CHARACTERS.LATIRM 258 A.4
STRING HANDLING 262 A.4.1 THE PACKAGE STRINGS 263 A.4.2 THE PACKAGE
STRINGS.MAPS 263 A.4.3 FIXED-LENGTH STRING HANDLING 266 A.4.4
BOUNDED-LENGTH STRING HANDLING 273 A.4.5 UNBOUNDED-LENGTH STRING
HANDLING 278 A.4.6 STRING-HANDLING SETS AND MAPPINGS 283 A.4.7
WIDE.STRING HANDLING 283 A.5 THE NUMERICS PACKAGES 285 A.5.1 ELEMENTARY
FUNCTIONS 286 A.5.2 RANDOM NUMBER GENERATION 289 A.5.3 ATTRIBUTES OF
FLOATING POINT TYPES 293 A.5.4 ATTRIBUTES OF FIXED POINT TYPES 297 A.6
INPUT-OUTPUT 297 A.7 EXTERNAL FILES AND FILE OBJECTS 298 A.8 SEQUENTIAL
AND DIRECT FILES 299 A.8.1 THE GENERIC PACKAGE SEQUENTIALJO 299 A.8.2
FILE MANAGEMENT 300 A.8.3 SEQUENTIAL INPUT-OUTPUT OPERATIONS 302 A.8.4
THE GENERIC PACKAGE DIRECTJO 303 A.8.5 DIRECT INPUT-OUTPUT OPERATIONS
304 A.9 THE GENERIC PACKAGE STORAGEJO 305 A.10 TEXT INPUT-OUTPUT 305
A.10.1 THE PACKAGE TEXTJO 307 A.10.2 TEXT FILE MANAGEMENT 311 A.10.3
DEFAULT INPUT, OUTPUT, AND ERROR FILES 312 A.10.4 SPECIFICATION OF LINE
AND PAGE LENGTHS 313 VI ISO/IEC 8652:1995(E) A.10.5 OPERATIONS ON
COLUMNS, LINES, AND PAGES 314 A.10.6 GET AND PUT PROCEDURES 317 A.10.7
INPUT-OUTPUT OF CHARACTERS AND STRINGS 318 A.10.8 INPUT-OUTPUT FOR
INTEGER TYPES 320 A.10.9 INPUT-OUTPUT FOR REAL TYPES 322 A.10.10
INPUT-OUTPUT FOR ENUMERATION TYPES 325 A.11 WIDE TEXT INPUT-OUTPUT 326
A.12 STREAM INPUT-OUTPUT 326 A.12.1 THE PACKAGE STREAMS.STREAMJO 326
A.12.2 THE PACKAGE TEXT_IO.TEXT_STREAMS 328* A.12.3 THE PACKAGE
WIDE_TEXT_IO.TEXT_STREAMS 329 A.13 EXCEPTIONS IN INPUT-OUTPUT 329 A.14
FILE SHARING 330 A.15 THE PACKAGE COMMAND_LINE 331 B. INTERFACE TO OTHER
LANGUAGES 333 B.1 INTERFACING PRAGMAS 333 B.2 THE PACKAGE INTERFACES 336
B.3 INTERFACING WITH C 337 B.3.1 THE PACKAGE INTERIACES.C.STRINGS 341
B.3.2 THE GENERIC PACKAGE INTERFACES.C.POINTERS 344 B.4 INTERFACING WITH
COBOL 347 B.5 INTERFACING WITH FORTRAN 353 C. SYSTEMS PROGRAMMING 357
C.1 ACCESS TO MACHINE OPERATIONS 357 C.2 REQUIRED REPRESENTATION SUPPORT
358 C.3 INTERRUPT SUPPORT 358 C.3.1 PROTECTED PROCEDURE HANDLERS 360
C.3.2 THE PACKAGE INTERRUPTS 362 C.4 PREELABORATION REQUIREMENTS 364 C.5
PRAGMA DISCARD_NAMES 365 C.6 SHARED VARIABLE CONTROL 365 C.7 TASK
IDENTIFICATION AND ATTRIBUTES 367 C.7.1 THE PACKAGE TASKJDENTIFICATION
367 C.7.2 THE PACKAGE TASK_ATTRIBUTES 368 D. REAL-TIME SYSTEMS 371 D.1
TASK PRIORITIES 371 D.2 PRIORITY SCHEDULING 373 D.2.1 THE TASK
DISPATCHING MODEL 373 D.2.2 THE STANDARD TASK DISPATCHING POLICY 375 D.3
PRIORITY CEILING LOCKING 376 D.4 ENTRY QUEUING POLICIES 378 D.5 DYNAMIC
PRIORITIES 379 D.6 PREEMPTIVE ABORT 380 D.7 TASKING RESTRICTIONS 381 D.8
MONOTONIC TIME 382 D.9 DELAY ACCURACY 386 D.10 SYNCHRONOUS TASK CONTROL
387 D.11 ASYNCHRONOUS TASK CONTROL 387 D.12 OTHER OPTIMIZATIONS AND
DETERMINISM RULES 388 E. DISTRIBUTED SYSTEMS 391 E.1 PARTITIONS 391 E.2
CATEGORIZATION OF LIBRARY UNITS 393 VIL ISO/IEC 8652:1995(E) E.2.1
SHARED PASSIVE LIBRARY UNITS 394 E.2.2 REMOTE TYPES LIBRARY UNITS 394
E.2.3 REMOTE CALL INTERFACE LIBRARY UNITS 395 E.3 CONSISTENCY OF A
DISTRIBUTED SYSTEM 396 E.4 REMOTE SUBPROGRAM CALLS 397 E.4.1 PRAGMA
ASYNCHRONOUS 399 E.4.2 EXAMPLE OF USE OF A REMOTE ACCESS-TO-CLASS-WIDE
TYPE 399 E.5 PARTITION COMMUNICATION SUBSYSTEM 401 F. INFORMATION
SYSTEMS 405 F.1 MACHINE_RADIX ATTRIBUTE DEFINITION CLAUSE 405 F.2 THE
PACKAGE DECIMAL 406 F.3 EDITED OUTPUT FOR DECIMAL TYPES 407 F.3.1
PICTURE STRING FORMATION 408 F.3.2 EDITED OUTPUT GENERATION 411 F.3.3
THE PACKAGE TEXTJO.EDITING 416 F.3.4 THE PACKAGE WIDE_TEXT_IO.EDITING
419 G. NUMERICS 421 G.1 COMPLEX ARITHMETIC 421 G.1.1 COMPLEX TYPES 421
G.1.2 COMPLEX ELEMENTARY FUNCTIONS 426 G.1.3 COMPLEX INPUT-OUTPUT 429
G.1.4 THE PACKAGE WIDE_TEXT_IO.COMPLEXJO 431 G.2 NUMERIC PERFORMANCE
REQUIREMENTS 432 G.2.1 MODEL OF FLOATING POINT ARITHMETIC 432 G.2.2
MODEL-ORIENTED ATTRIBUTES OF FLOATING POINT TYPES 433 G.2.3 MODEL OF
FIXED POINT ARITHMETIC 434 G.2.4 ACCURACY REQUIREMENTS FOR THE
ELEMENTARY FUNCTIONS 436 G.2.5 PERFORMANCE REQUIREMENTS FOR RANDOM
NUMBER GENERATION 438 G.2.6 ACCURACY REQUIREMENTS FOR COMPLEX ARITHMETIC
438 H. SAFETY AND SECURITY 441 H.1 PRAGMA NORMALIZE_SCALARS 441 H.2
DOCUMENTATION OF IMPLEMENTATION DECISIONS 442 H.3 REVIEWABLE OBJECT CODE
442 H.3.1 PRAGMA REVIEWABLE 442 H.3.2 PRAGMA LNSPECTION_POINT 443 H.4
SAFETY AND SECURITY RESTRICTIONS 444 J. OBSOLESCENT FEATURES 447 J.1
RENAMINGS OF ADA 83 LIBRARY UNITS 447 J.2 ALLOWED REPLACEMENTS OF
CHARACTERS 447 J.3 REDUCED ACCURACY SUBTYPES 448 J.4 THE CONSTRAINED
ATTRIBUTE 448 J.5 ASCII 449 J.6 NUMERIC_ERROR 449 J.7 AT CLAUSES 449
J.7.1 INTERRUPT ENTRIES 450 J.8 MOD CLAUSES 451 J.9 THE STORAGE_SIZE
ATTRIBUTE 451 K. LANGUAGE-DEFINED ATTRIBUTES 453 L. LANGUAGE-DEFINED
PRAGMAS 467 ISO/IEC 8652:1995(E) M. IMPLEMENTATION-DEFINED
CHARACTERISTICS 469 N. GLOSSARY 475 P. SYNTAX SUMMARY 479 INDEX 503 IX |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011358064 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.A35A22 1995 |
| callnumber-search | QA76.73.A35A22 1995 |
| callnumber-sort | QA 276.73 A35 A22 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 250 |
| classification_tum | DAT 356f |
| ctrlnum | (OCoLC)246327146 (DE-599)BVBBV011358064 |
| dewey-full | 005.13/3 005.13/321 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 005.13/3 21 |
| dewey-search | 005.13/3 005.13/3 21 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011358064</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970919</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970521s1997 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950376639</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540631445</subfield><subfield code="9">3-540-63144-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246327146</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011358064</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.A35A22 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ada 95 reference manual</subfield><subfield code="b">language and standard libraries ; international standard ISO/IEC 8652:1995(E)</subfield><subfield code="c">S. Tucker Taft ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 526 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1246</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ada (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada 95</subfield><subfield code="0">(DE-588)4436900-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ada 95</subfield><subfield code="0">(DE-588)4436900-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taft, S. Tucker</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1246</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1246</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633228&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007633228</subfield></datafield></record></collection> |
| id | DE-604.BV011358064 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:20Z |
| institution | BVB |
| isbn | 3540631445 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007633228 |
| oclc_num | 246327146 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-703 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-703 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-188 |
| physical | XVIII, 526 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) S. Tucker Taft ... (eds.) Berlin u.a. Springer 1997 XVIII, 526 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1246 Ada (Computer program language) Ada 95 (DE-588)4436900-1 gnd rswk-swf Ada 95 (DE-588)4436900-1 s DE-604 Taft, S. Tucker Sonstige oth Lecture notes in computer science 1246 (DE-604)BV000000607 1246 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633228&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) Lecture notes in computer science Ada (Computer program language) Ada 95 (DE-588)4436900-1 gnd |
| subject_GND | (DE-588)4436900-1 |
| title | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) |
| title_auth | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) |
| title_exact_search | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) |
| title_full | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) S. Tucker Taft ... (eds.) |
| title_fullStr | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) S. Tucker Taft ... (eds.) |
| title_full_unstemmed | Ada 95 reference manual language and standard libraries ; international standard ISO/IEC 8652:1995(E) S. Tucker Taft ... (eds.) |
| title_short | Ada 95 reference manual |
| title_sort | ada 95 reference manual language and standard libraries international standard iso iec 8652 1995 e |
| title_sub | language and standard libraries ; international standard ISO/IEC 8652:1995(E) |
| topic | Ada (Computer program language) Ada 95 (DE-588)4436900-1 gnd |
| topic_facet | Ada (Computer program language) Ada 95 |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007633228&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT taftstucker ada95referencemanuallanguageandstandardlibrariesinternationalstandardisoiec86521995e |