File: vera.j

package info (click to toggle)
vera 1.5-2
  • links: PTS
  • area: main
  • in suites: potato
  • size: 500 kB
  • ctags: 757
  • sloc: asm: 819; fortran: 520; ansic: 308; yacc: 36; makefile: 33; sh: 4
file content (231 lines) | stat: -rw-r--r-- 3,949 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
@c Syntax:
@c ACRONYM
@c Expansion[ (Reference)][, "Style"]
@c Additional explanations are included in [square brackets]

@table @asis
@item JACM
Journal of the Association for Computing Machinery (ACM)

@item JADE
Jasmine Application Development Environment (Jasmine, DB, CA)

@item JANET
Joint Academic NETwork (network, UK)

@item JAPH
Just Another PERL Hacker (PERL)

@item JAR
Java Archive (Java)

@item JARS
Java Applet Rating Service (Java, WWW)

@item JASS
Javascript-Accessable Style Sheets (HTML, WWW, JavaScript)

@item JAVAOS
Java Operating System (Java), "JavaOS"

@item JBIG
Joint Bi-level Image expert Group (org., JTC1)

@item JCALS
Joint Computer-Aided Logistics System (CAL)

@item JCB
Job Control Block (BS2000)

@item JCE
Java Cryptographic Extension (Java)

@item JCF
JESSI Common Framework

@item JCL
Job Control Language (IBM, OS/360)

@item JCSS
??? (org.)

@item JDBC
Java standard DataBase Connectivity (DB, Java, Sun, Borland, ODBC, API)

@item JDK
Java Development Kit (Sun, Java)

@item JEDEC
???

@item JEIDA
Japan Electronics Industry Development Association (org., Japan)

@item JES
Job Entry Subsystem (IBM)

@item JFC
Java Foundation Classes (Java, API)

@item JFIF
JPEG File Interchange Format

@item JFS
Journaled File System (LVM)

@item JFT
Job File Table (DOS)

@item JICST
Japan Information Center of Science and Technology (org., Japan)

@item JIEO
Joint Interoperability Engineering Organization (org., DISA, mil., USA)

@item JIF
JPEG Interchange Format (JPEG)

@item JIPDEC
Japan Information Processing DEvelopment Center (org., Japan)

@item JIPS
JANET Internet Protocol Service

@item JIS
Japanese Institute of Standards (org., Japan)

@item JISC
Japanese Industrial Standards Committee (org., Japan)

@item JIT
Just In Time [compiler]

@item JITC
Joint Interoperability Technology Center (org., DISA, mil.)

@item JMSC
Japanese MIDI Standard Committee (org., Japan)

@item JMSWG
Joint Multi-TADIL Standards Working Group (org., mil., TADIL)

@item JNDI
Java Naming and Directory Interface (JavaSoft, API)

@item JNI
Java Native method Interface (Java, API)

@item JNSS
??? (org.)

@item JODS
Jasmine Object Database Server (Jasmine, DB, CA)

@item JOL
Journal of Online Law (WWW)

@item JOLT
Java OnLine Transactions (Java, Bea, OLTP)

@item JOOP
Journal of Object Orientated Programming (OOP)

@item JOSS
Joint Object Services Submission

@item JOTS
Joint Operational Tactical System (mil.)

@item JOVE
Jonathan's Own Version of EMACS

@item JPEG
Joint Photographics Expert Group (org., JTC1, RFC 1521, JPEG)

@item JPLDIS
Jet Propulsion Laboratory Display Information System

@item JSA
Japanese Standards Association (org., Japan)

@item JSAI
??? (org.)

@item JSAN
Joint Staff Automation of the Nineties (mil.)

@item JSD
Jackson System Development

@item JSME
??? (org.)

@item JSP
Jackson Structured Programming

@item JSP
Java Server Pages (Java, Sun)

@item JSPE
??? (org.)

@item JSSA
Japan Society for System Audits (org., JIPDEC, Japan)

@item JST
Japan Standard Time [+0900] (TZ)

@item JT
Java Time [+0730] (TZ)

@item JTA
Joint Technical Architecture (JIEO, mil.)

@item JTAG
Joint Test Action Group (org., Philips, IC)

@item JTB
Jump Trace Buffer (CPU)

@item JTBP
Job To Be Processed [block] (BS2000)

@item JTBPX
Job To Be Processed [block] eXtension (BS2000)

@item JTC1
Joint Technical Committee 1 (ISO, IEC, IT)

@item JTM
Job Transfer and Manipulation (ISO 8831/32)

@item JTMS
Justification based Truth Maintenance System (AI)

@item JTSSG
Joint Telecommunications Standards Steering Group (mil.)

@item JUGHEAD
Jonzy's Universal Gopher Hierarchy Excavation And Display

@item JUNET
Japan Unix NETwork (network, Unix)

@item JURIS
JURistisches InformationsSystem

@item JV
JobVariablen (BS2000)

@item JVIDS
Joint Visually Integrated Display System (mil.)

@item JVM
Java Virtual Machine (Java)

@item JWICS
Joint Worldwide Intelligence Communications System (mil.)

@end table