727:
40:
804:
854:
849:
814:
859:
596:
844:
187:
819:
799:
170:
829:
221:(VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs.
354:
332:
324:
295:
834:
150:
696:
668:
279:
824:
550:
538:
528:
510:
492:
480:
470:
452:
430:
412:
390:
372:
229:
112:
542:
484:
382:
346:
210:
618:
839:
586:
741:
232:
in the 1980s and early 1990s, worked in industry at
Harlequin for a period, and is now a Professor of Computing Science at
574:
591:
22:
254:
242:
218:
91:
809:
794:
206:
108:
789:
664:
614:
233:
183:
116:
81:
749:
301:
175:
421:, Jones, C.B. and Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science,
546:
524:
506:
488:
466:
448:
426:
408:
386:
368:
350:
328:
320:
291:
250:
21:
This article is about the
British computer scientist. For other people named Cliff Jones, see
283:
214:
135:
745:
660:
316:
237:
770:
726:
774:
179:
140:
71:
501:, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science,
783:
520:
502:
477:
Programming
Languages and their Definition: Selected Papers of Hans Bekic (1936–1982)
462:
444:
422:
404:
400:
305:
271:
154:
440:
39:
610:
738:
342:
195:
641:
191:
765:
129:
Development
Methods for Computer Programs Including a Notion of Interference
643:
Development
Methods for Computer Programs including a Notion of Interference
570:
225:
690:
443:
and Jones, C.B. Prentice Hall
International Series in Computer Science,
519:, Jones, C.B. Prentice Hall International Series in Computer Science,
461:, Jones, C.B. Prentice Hall International Series in Computer Science,
717:
123:
287:
805:
Members of the
Department of Computer Science, University of Oxford
364:
721:
381:, Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.).
202:
361:
VDM: Une methode rigoureuse pour le development du logiciel
194:, awarded in 1981. Jones' thesis proposed an extension to
276:
Theories of
Programming: The Life and Works of Tony Hoare
855:
Fellows of the
Institution of Engineering and Technology
850:
1995 fellows of the
Association for Computing Machinery
249:
As well as formal methods, Jones also has interests in
186:
at the Oxford University Computing Laboratory (now the
265:
Jones has authored and edited many books, including:
146:
134:
122:
104:
87:
77:
67:
49:
30:
815:Academics of the Victoria University of Manchester
198:for handling concurrent programs, rely/guarantee.
535:The Vienna Development Method: The Meta-Language
188:Oxford University Department of Computer Science
419:Case Studies in Systematic Software Development
499:Formal Specification and Software Development
8:
860:Fellows of the Royal Academy of Engineering
209:Laboratories. In Vienna, Jones worked with
725:
403:International Series in Computer Science,
379:MURAL: A Formal Development Support System
38:
27:
537:, Bjørner, D. and Jones, C.B. (editors).
517:Software Development: A Rigorous Approach
459:Systematic Software Development using VDM
397:Systematic Software Development using VDM
278:. ACM Books. Vol. 39. New York, NY:
845:Fellows of the British Computer Society
563:
339:Reflections on the Work of C.A.R. Hoare
16:British computer scientist (born 1944)
201:Prior to his DPhil, Jones worked for
7:
313:Understanding Programming Languages,
253:aspects of computer science and the
697:Association for Computing Machinery
599:from the original on 9 August 2014.
345:, Jones, C.B. and Wood, K. (eds.).
280:Association for Computing Machinery
649:(DPhil thesis). Oxford University.
14:
820:Academics of Newcastle University
800:Alumni of Wolfson College, Oxford
671:from the original on 13 July 2014
621:from the original on 23 June 2015
539:Lecture Notes in Computer Science
481:Lecture Notes in Computer Science
230:Victoria University of Manchester
113:Victoria University of Manchester
830:British academic journal editors
739:Cliff B. Jones: Publication List
178:, specializing in research into
174:(born 1 June 1944) is a British
1:
575:Mathematics Genealogy Project
592:Royal Academy of Engineering
23:Cliff Jones (disambiguation)
835:English computer scientists
692:Formal Aspects of Computing
437:Essays in Computing Science
399:(2nd Edition), Jones, C.B.
255:history of computer science
243:Formal Aspects of Computing
876:
661:"Research · Cliff B Jones"
205:, between the Hursley and
20:
640:Jones, C.B. (June 1981).
219:Vienna Development Method
167:Clifford "Cliff" B. Jones
160:
97:
92:Vienna Development Method
37:
825:Computer science writers
773:publications indexed by
479:, Jones, C.B. (editor).
363:, Jones, C.B. Masson,
182:. He undertook a late
44:Cliff Jones in Swansea
840:Formal methods people
744:12 March 2012 at the
611:"Bio · Cliff B Jones"
109:IBM Laboratory Vienna
724:Bibliography Server
665:Newcastle University
615:Newcastle University
234:Newcastle University
117:Newcastle University
82:University of Oxford
750:Scientific Commons
224:Cliff Jones was a
217:and others on the
176:computer scientist
587:"List of Fellows"
355:978-1-84882-911-4
333:978-3-030-59257-8
325:978-3-030-59256-1
297:978-1-4503-8728-6
270:Jones, Cliff B.;
251:interdisciplinary
164:
163:
147:Doctoral students
99:Scientific career
867:
753:
736:
730:
729:
715:
709:
708:
706:
704:
687:
681:
680:
678:
676:
657:
651:
650:
648:
637:
631:
630:
628:
626:
607:
601:
600:
583:
577:
568:
309:
173:
136:Doctoral advisor
63:
59:
57:
42:
28:
875:
874:
870:
869:
868:
866:
865:
864:
780:
779:
762:
757:
756:
746:Wayback Machine
737:
733:
716:
712:
702:
700:
695:. Vol. 1.
689:
688:
684:
674:
672:
659:
658:
654:
646:
639:
638:
634:
624:
622:
609:
608:
604:
585:
584:
580:
569:
565:
560:
543:Springer-Verlag
485:Springer-Verlag
383:Springer-Verlag
298:
288:10.1145/3477355
274:, eds. (2021).
269:
263:
238:editor-in-chief
169:
153:
151:John Fitzgerald
115:
111:
78:Alma mater
61:
55:
53:
45:
33:
26:
17:
12:
11:
5:
873:
871:
863:
862:
857:
852:
847:
842:
837:
832:
827:
822:
817:
812:
807:
802:
797:
792:
782:
781:
778:
777:
775:Google Scholar
768:
761:
760:External links
758:
755:
754:
731:
718:Cliff B. Jones
710:
682:
652:
632:
602:
578:
562:
561:
559:
556:
555:
554:
532:
514:
496:
483:, Volume 177,
474:
456:
434:
416:
394:
376:
358:
336:
317:Springer, Cham
310:
296:
272:Misra, Jayadev
262:
259:
236:. He has been
180:formal methods
162:
161:
158:
157:
148:
144:
143:
141:C. A. R. Hoare
138:
132:
131:
126:
120:
119:
106:
102:
101:
95:
94:
89:
88:Known for
85:
84:
79:
75:
74:
69:
65:
64:
51:
47:
46:
43:
35:
34:
31:
15:
13:
10:
9:
6:
4:
3:
2:
872:
861:
858:
856:
853:
851:
848:
846:
843:
841:
838:
836:
833:
831:
828:
826:
823:
821:
818:
816:
813:
811:
810:IBM employees
808:
806:
803:
801:
798:
796:
795:Living people
793:
791:
788:
787:
785:
776:
772:
769:
767:
764:
763:
759:
751:
747:
743:
740:
735:
732:
728:
723:
719:
714:
711:
698:
694:
693:
686:
683:
670:
666:
662:
656:
653:
645:
644:
636:
633:
620:
616:
612:
606:
603:
598:
594:
593:
588:
582:
579:
576:
572:
567:
564:
557:
552:
551:3-540-08766-4
548:
544:
541:, Volume 61,
540:
536:
533:
530:
529:0-13-821884-6
526:
522:
521:Prentice Hall
518:
515:
512:
511:0-13-329003-4
508:
504:
503:Prentice Hall
500:
497:
494:
493:3-540-13378-X
490:
486:
482:
478:
475:
472:
471:0-13-880717-5
468:
464:
463:Prentice Hall
460:
457:
454:
453:0-13-284027-8
450:
446:
445:Prentice Hall
442:
441:Hoare, C.A.R.
438:
435:
432:
431:0-13-116088-5
428:
424:
423:Prentice Hall
420:
417:
414:
413:0-13-880733-7
410:
406:
405:Prentice Hall
402:
401:Prentice Hall
398:
395:
392:
391:3-540-19651-X
388:
384:
380:
377:
374:
373:2-225-82812-1
370:
366:
362:
359:
356:
352:
348:
344:
340:
337:
334:
330:
326:
322:
318:
314:
311:
307:
303:
299:
293:
289:
285:
281:
277:
273:
268:
267:
266:
260:
258:
256:
252:
247:
245:
244:
239:
235:
231:
227:
222:
220:
216:
215:Dines Bjørner
212:
208:
204:
199:
197:
193:
189:
185:
181:
177:
172:
168:
159:
156:
155:Tobias Nipkow
152:
149:
145:
142:
139:
137:
133:
130:
127:
125:
121:
118:
114:
110:
107:
103:
100:
96:
93:
90:
86:
83:
80:
76:
73:
70:
66:
62:(age 80)
52:
48:
41:
36:
29:
24:
19:
734:
713:
701:. Retrieved
691:
685:
673:. Retrieved
655:
642:
635:
623:. Retrieved
605:
590:
581:
566:
534:
516:
498:
476:
458:
436:
418:
396:
378:
360:
343:Roscoe, A.W.
338:
315:Jones, C.B.
312:
275:
264:
248:
241:
223:
200:
166:
165:
128:
105:Institutions
98:
18:
790:1944 births
771:Cliff Jones
675:18 December
625:18 December
571:Cliff Jones
211:Peter Lucas
196:Hoare logic
68:Nationality
60:1 June 1944
32:Cliff Jones
784:Categories
558:References
192:Tony Hoare
56:1944-06-01
766:Home page
703:19 August
327:/ online
306:238251696
246:journal.
226:professor
742:Archived
669:Archived
619:Archived
597:Archived
347:Springer
319:. Print
190:) under
573:at the
553:(1978).
531:(1980).
513:(1982).
495:(1984).
473:(1986).
455:(1989).
433:(1989).
393:(1991).
375:(1993).
357:(2010).
335:(2020).
240:of the
228:at the
72:British
699:. 1989
663:. UK:
613:. UK:
549:
527:
509:
491:
469:
451:
429:
415:, 1990
411:
389:
371:
353:
331:
323:
304:
294:
207:Vienna
124:Thesis
647:(PDF)
365:Paris
302:S2CID
261:Books
184:DPhil
171:FREng
722:DBLP
705:2018
677:2020
627:2020
547:ISBN
525:ISBN
507:ISBN
489:ISBN
467:ISBN
449:ISBN
427:ISBN
409:ISBN
387:ISBN
369:ISBN
351:ISBN
329:ISBN
321:ISBN
292:ISBN
50:Born
720:at
284:doi
203:IBM
786::
748:,
667:.
617:.
595:.
589:.
545:.
523:.
505:.
487:.
465:.
447:.
439:,
425:.
407:.
385:.
367:.
349:.
341:,
300:.
290:.
282:.
257:.
213:,
58:)
752:.
707:.
679:.
629:.
308:.
286::
54:(
25:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.