Programming Research Group とは

プログラミング研究グループ(PRG)は、英国オックスフォードのオックスフォード大学コンピューティングラボラトリー(OUCL)の一部で、OUCLが2011年にコンピュータサイエンス学科になるまで開催されました。
PRGは1965年にクリストファー・ストレイチー(Christopher Strachey)によって設立され、死後、C.A.R. Hoare、FRSは1977年に指導力を引き継いだ.PRGの精神は、PRGに到着した後、Tony Hoareによって発見され、公布されたStracheyからの次の引用によって要約される。
実用的な仕事と理論的な仕事の分離は人工的で有害であるという私の個人的な見解が長くありました。ソフトウェアとハ​​ードウェア設計の両方でコンピューティングで実践されている作業の多くは、その作業の基本的な設計原則を明確に理解していないため、不健全で不器用です。抽象的な数学的および理論的作業のほとんどは、実際の計算と接触する点がないため無菌である。プログラミング研究グループの教授研究グループの中心的な目的の1つは、この分離が起こり得ない雰囲気を確立することでした。
PRGは正式な方法の分野で卓越した中心であり、Z表記(Jean-Raymond Abrialの訪問によって開始されました)とCSP(関連Occamプログラミング言語と共に)の開発において主導的役割を果たしました。この分野での仕事のために、IBMとInmosとQueen's Awardsを受賞しました。