Programming Research Group (PRG) ist ein Teil von Oxford University Computing Laboratory (OUCL). Es wurde von Christopher Strachey 1965 gegründet, und nachdem sein Tod, C.A.R. Hoare, FRS die Führung 1977 übernommen hat. Das PRG Ethos wird durch den folgenden Kostenvoranschlag von Strachey summiert, hat gefunden und hat durch Tony Hoare veröffentlicht, nachdem er den PRG erreicht hat:

Es ist lange meine persönliche Ansicht gewesen, dass die Trennung der praktischen und theoretischen Arbeit künstlich und schädlich ist. Viel von der praktischen geleisteten Arbeit in der Computerwissenschaft, sowohl in der Software als auch im Hardware-Design, ist ungesund und plump, weil die Leute, die es tun, nicht jedes klare Verstehen der grundsätzlichen Designgrundsätze ihrer Arbeit haben. Der grösste Teil der abstrakten mathematischen und theoretischen Arbeit ist steril, weil sie nichts des Kontakts mit der echten Computerwissenschaft hat. Eines der Hauptziele von Programming Research Group als eine unterrichtende und Forschungsgruppe hat eine Atmosphäre aufstellen sollen, in der diese Trennung nicht geschehen kann.

Der PRG ist ein Zentrum der Vorzüglichkeit im Feld von formellen Methoden traditionell gewesen, eine Hauptrolle in der Entwicklung der Z Notation (begonnen durch einen Besuch von Jean-Raymond Abrial) und CSP (zusammen mit der verbundenen Programmiersprache von Occam) spielend. Es hat die Preise der Königin mit IBM und Inmos für die Arbeit in diesem Gebiet gewonnen.

Links

• PRG Website
• Weitere Geschichte und Hintergrund