203:
257:
322:
59:
241:
337:
298:
332:
342:
327:
67:
168:
145:
110:
106:
352:
234:
43:
176:
291:
83:
227:
98:
317:
347:
284:
272:
215:
71:
39:
8:
47:
264:
102:
180:
87:
268:
211:
171:(1971). Engeler, E. (ed.). "Proving correctness of implementation techniques".
311:
153:
94:
79:
35:
122:
63:
55:
51:
202:
82:
used for this was dubbed by people outside the laboratory as the
28:
256:
58:
programming language was produced. The group built on ideas of
24:
75:
20:
210:This article about an organisation in Austria is a
309:
101:) was a result of research at the laboratory by
90:research into compiler design during 1968–70.
292:
235:
34:The laboratory started with a group led by
299:
285:
242:
228:
166:
150:Systematic software development using VDM
140:
138:
86:(VDL). These descriptions were used for
323:Computer science research organizations
310:
135:
144:
74:that could define the whole of IBM's
251:
196:
173:A Symposium on Algorithmic Languages
160:
13:
46:). Initially, the group worked on
14:
364:
255:
201:
338:Research institutes in Austria
44:Technical University of Vienna
1:
333:Organisations based in Vienna
128:
23:research laboratory based in
271:. You can help Knowledge by
214:. You can help Knowledge by
177:Lecture Notes in Mathematics
7:
343:European organization stubs
328:Computer science institutes
116:
10:
369:
250:
195:
84:Vienna Definition Language
78:programming language. The
99:Vienna Development Method
353:Computer science stubs
72:operational semantics
40:Technische Hochschule
17:IBM Laboratory Vienna
38:that moved from the
183:. pp. 178–211.
50:projects. Later a
280:
279:
223:
222:
179:. Vol. 188.
167:Jones, Cliff B.;
48:computer hardware
360:
301:
294:
287:
265:computer science
259:
252:
244:
237:
230:
206:
205:
197:
185:
184:
164:
158:
157:
142:
368:
367:
363:
362:
361:
359:
358:
357:
308:
307:
306:
305:
249:
248:
200:
193:
189:
188:
181:Springer-Verlag
165:
161:
146:Jones, Cliff B.
143:
136:
131:
119:
88:compiler design
70:, to create an
60:Calvin C. Elgot
12:
11:
5:
366:
356:
355:
350:
345:
340:
335:
330:
325:
320:
318:IBM facilities
304:
303:
296:
289:
281:
278:
277:
260:
247:
246:
239:
232:
224:
221:
220:
207:
187:
186:
159:
133:
132:
130:
127:
126:
125:
118:
115:
113:, and others.
9:
6:
4:
3:
2:
365:
354:
351:
349:
348:Austria stubs
346:
344:
341:
339:
336:
334:
331:
329:
326:
324:
321:
319:
316:
315:
313:
302:
297:
295:
290:
288:
283:
282:
276:
274:
270:
267:article is a
266:
261:
258:
254:
253:
245:
240:
238:
233:
231:
226:
225:
219:
217:
213:
208:
204:
199:
198:
194:
191:
182:
178:
174:
170:
163:
155:
154:Prentice-Hall
151:
147:
141:
139:
134:
124:
121:
120:
114:
112:
108:
104:
103:Dines Bjørner
100:
96:
95:formal method
91:
89:
85:
81:
80:meta-language
77:
73:
69:
68:John McCarthy
65:
61:
57:
53:
49:
45:
41:
37:
36:Heinz Zemanek
32:
30:
26:
22:
18:
273:expanding it
262:
216:expanding it
209:
192:
190:
172:
169:Lucas, Peter
162:
156:. p. 1.
149:
123:IBM Research
92:
64:Peter Landin
33:
16:
15:
111:Peter Lucas
107:Cliff Jones
312:Categories
129:References
42:(now the
148:(1990).
117:See also
56:ALGOL 60
54:for the
52:compiler
29:Austria
19:was an
66:, and
25:Vienna
263:This
97:VDM (
269:stub
212:stub
93:The
76:PL/I
21:IBM
314::
175:.
152:.
137:^
109:,
105:,
62:,
31:.
27:,
300:e
293:t
286:v
275:.
243:e
236:t
229:v
218:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.