File: vera.u

package info (click to toggle)
vera 1.4a-1
  • links: PTS
  • area: main
  • in suites: slink
  • size: 492 kB
  • ctags: 759
  • sloc: asm: 811; fortran: 513; ansic: 298; yacc: 36; makefile: 33; sh: 4
file content (461 lines) | stat: -rw-r--r-- 7,553 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
@c Syntax:
@c ACRONYM
@c Expansion[ (Reference)][, "Style"]
@c Additional explanations are included in [square brackets]

@table @asis
@item UA
Unnumbered Acknowledgement

@item UA
User Agent (MHS, OSI)

@item UAA
UnternehmensAnwendungsArchitektur (IM)

@item UAB
Unix Appletalk Bridge (Apple, AppleTalk, Unix)

@item UAC
Universal Access Control (IBM)

@item UADPS
Uniform Automatic Data Processing System

@item UAE
Unknown / Unrecoverable Application Error (Windows)

@item UAF
User Authorization File

@item UAPDU
User Agent Protocol Data Unit (PDU)

@item UART
Universal Asynchronous Receive and Transmit

@item UAS
UnAvailable Seconds (DS1/E1, DS3/E3)

@item UBA
UniBus Adapter (DEC)

@item UBE
Unsolicited Bulk Email spam, Internet

@item UBNI
Ungermann-Bass Network Interface

@item UBR
Unspecified Bit Rate (ATM, CBR, VBR, ABR, QOS)

@item UCC
Uniform Commercial Code

@item UCE
Unsolicited Commercial E-mail Usenet, spam

@item UCI
User-Computer Interface

@item UCLA
University of California at Los Angeles org., USA

@item UCP
Universal Computer Protocol SMS, Europe

@item UCR
Under Color Removal (DTP)

@item UCS
Universal [multiple-octet] coded Character Set (ISO, IEC, DIS 10646)

@item UCS
Universal Classification System

@item UCSB
University of California at Santa Barbara org. USA

@item UCSD
University California San Diego org., USA

@item UDB
Universal DataBase [server] (IBM, DB)

@item UDC
Universal Decimal Classification

@item UDF
Universal Disc Format (CD, OSTA)

@item UDF
User Defined Function

@item UDK
UmweltDatenKatalog (NUIS-SH)

@item UDLI
??? [hardware description language] (HDL), "UDL/I"

@item UDMA
Ultra Direct Memory Access (DMA, ATA)

@item UDO
User Defined Objects

@item UDP
Usenet Death Penalty Usenet, spam

@item UDP
User Datagram Protocol (Internet, RFC 768)

@item UDPIP
User Datagram Protocol / Internet Protocol, "UDP/IP"

@item UDT
User-defined DataType (DB)

@item UDVM
Universal Data Voice Multiplexer

@item UEIDE
Ultra Enhanced Integrated Drive Electronics (IDE, HDD)

@item UEV
User End of Volume

@item UFS
Universal File System

@item UFS
Unix File System (Unix)

@item UFST
Universal Font Scaling Technology (Agfa)

@item UHC
United Hitech Corporation manufacturer, Taiwan

@item UHF
Ultra High Frequency

@item UHL
User Head Label

@item UI
Unix International manufacturer, Unix

@item UI
User Interface

@item UIC
User Identification Code

@item UID
Unit IDentifier cryptography, EES

@item UID
User IDentification

@item UIDL
Unique ID Listing (POP3, RFC 1939)

@item UIL
User Interface Language

@item UIMS
User Interface Management System

@item UIS
UmweltInformationsSystem

@item UISRM
User Interface System Reference Model

@item UKERNA
United Kingdom Education and Research Networking Association org., UK

@item ULA
Uncommitted Logic Array

@item ULANA
Unified Local Area Network Architecture

@item ULCC
University of London Computer Center org., UK

@item ULP
Upper Layer Protocols (FC)

@item ULSI
Ultra Large Scale Integration

@item UMA
Unified Memory Architecture

@item UMA
Universal Measurement Architecture (Unix, X/Open)

@item UMA
Upper Memory Area (Intel)

@item UMADS
Universal Measurement Architecture Data Storage (UMA)

@item UMB
Upper Memory Block (Intel, UMA)

@item UMC
United Microelectronics Corporation manufacturer

@item UME
UNI Management Entity (UNI, ILMI)

@item UML
Unified Method Language (CASE)

@item UML
Unified Modelling Language (OOP)

@item UMTS
Universal Mobile Telecommunications System (IN, Mobile Systems)

@item UNA
Universal Network Architecture

@item UNARP
UNsolicited Address Resolution Protocol (ARP, RFC 1868)

@item UNC
Universal Naming Convention (IBM, MS, Novell, LAN)

@item UNCID
UNiform rules of Conduct for Interchange of Trade data by teletransmission (EDIFACT)

@item UNCLE
Unix Net for Computer security in Law Enforcement org., USA, Unix, "U.N.C.L.E."

@item UNEDIFACT
United Nations EDIFACT (ISO 9735, EDIFACT), "UN/EDIFACT"

@item UNGTDI
United Nations Guidelines for Trade Data Interchange UN/EDIFACT, predecessor, "UN/GTDI"

@item UNI
Universal Network Interface (Cogent)

@item UNI
User Network Interface

@item UNIVAC
UNIVersal Automatic Computer

@item UNMA
Unified Network Management Architecture

@item UNSM
United Nations Standard Message, (UN/EDIFACT)

@item UNTDED
United Nations Trade Data Elements Directory (EDIFACT)

@item UNTDID
United Nations Trade Data Interchange Directory (EDIFACT)

@item UP
Uni Processor [system]

@item UPA
Ultra Port Architecture (Sun, SMP)

@item UPAM
User Primary Access Method (BS2000)

@item UPC
Universal Product Code (EAN)

@item UPC
Usage Parameter Control (UNI, ATM)

@item UPL
User Program Language

@item UPM
Umdrehungen Pro Minute (HDD)

@item UPM
User Profile Management (IBM)

@item UPN
Umgekehrte Polnische Notation

@item UPP
Universal Procedure Pointer (AE, Apple)

@item UPPS
Universal Portable Protocol Stack / Support (Schneider & Koch)

@item UPS
Uninterruptible Power Supply

@item UPS
Unix Print Services (Unix)

@item UPT
Universal Personal Telecommunications (IN)

@item UPT
Universelle Personengebundene Telekommunikation (IN)

@item URA
Uniform Resource Agent (WWW)

@item URC
Uniform Resource Citation (WWW)

@item URC
Uniform Resources Characteristics (URI, WWW)

@item URI
Uniform Resource Identifier (WWW, RFC 1630)

@item URL
Uniform Resource Locator (WWW, RFC 1738)

@item URN
Uniform Resource Name (WWW, RFC 1737)

@item URSN
Unique Resource Serial Number (URI, WWW)

@item US
Unit Separator (BTX, VPCE)

@item USA
United Software Association org., USA

@item USACNII
US Advisory Council on the National Information Infrastructure org., USA

@item USART
Universal Synchronous Asynchronous Receiver / Transmitter (IC)

@item USB
Universal Serial Bus (Intel)

@item USCP
Unicos Station Call Processor [protocol] (Cray, MPP)

@item USD
User's Supplementary Documents (BSD, Unix)

@item USDC
Universal Switched Data Capability

@item USDN
United States Digital Network

@item USEC
User-based SECurity [model] (SNMP)

@item USENET
USErs' NETwork (Internet)

@item USG
Unix Support Group org., Unix

@item USITA
United States Independent Telephone Association org., USA

@item USL
Unix Systems Laboratories (AT&T, Unix)

@item USMTF
United States Message Text Format (USA)

@item USP
User Stack Pointer

@item USR
U.S. Robotics manufacturer

@item USR
User Service Routines

@item USRT
Universal Synchronous Receiver/Transmitter (IC)

@item USTA
United States Telephone Association org., USA

@item USV
Unterbrechungsfreie Strom-Versorgung

@item USWC
Uncached Speculative Write Combining (CPU)

@item UT
Universal Time [+0000] (TZ, GMT)

@item UT
Upper Tester

@item UTC
Universal Time Coordinated (DCE)

@item UTC
Universal Time Coordinates [+0000] (TZ, GMT)

@item UTI
Universal Text Interchange

@item UTL
User Trailer Label

@item UTLB
Unified Translation Look-aside Buffer (CPU)

@item UTM
Universal Transaction Monitor

@item UTM
Universeller TransaktionsMonitor (BS2000, Sinix, TP)

@item UTOPIA
Universal Test & Operations Physical layer Interface for ATM (PL, ATM)

@item UTP
Unshielded Twisted Pair [cable] (TP)

@item UTS
Universal Timesharing System

@item UTTC
Universal Tape-To-Tape Converter

@item UUCICO
Unix to Unix Copy Incoming Copy Outgoing (Unix)

@item UUCP
Unix to Unix Copy Protocol (Unix)

@item UUG
Unix User Group org., Unix, User group

@item UUID
Universal Unique IDentifier

@item UUNET
Unix to Unix NETwork org., ISP

@item UUT
Unit-Under-Test

@item UVL
User Volume Label

@item UW
Ultra Wide [SCSI] (SCSI)

@end table