PRG meaning in Computing ?

tuteeHUB earn credit +10 pts

Answer:

What is Programming Research Group mean?

The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011.

The PRG was founded by Christopher Strachey (1916–1975) in 1965. It was originally located at 45 Banbury Road.

After Strachey's untimely death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG:

It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing. One of the central aims of the Programming Research Group as a teaching and research group has been to set up an atmosphere in which this separation cannot happen.

The PRG moved to 8–11 Keble Road in 1984. During the later 1980s and early 1990s, some members of the PRG were housed at 2 South Parks Road, including Joseph Goguen (who was at the PRG during 1988–1996). Tony Hoare retired in 1999 and the PRG was led by Samson Abramsky from 2000. The PRG continued until the renaming of the Oxford University Computing Laboratory to the Department of Computer Science on 1 June 2011, under the leadership of Bill Roscoe, a former member of the PRG.

The PRG was a centre of excellence in the field of formal methods, playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language). It won Queen's Awards with IBM and Inmos for work in this area.

reference
Full Form Category
Preusser Research Group Academic & Science
Pollution Research Group Academic & Science
Pontine Respiratory Group Academic & Science
Program Representation Graph Academic & Science
Path Redundant Graph Academic & Science
Paradigm Research Group Academic & Science
Photonics Research Group (Georgia Institute of Technology) Academic & Science
Polar-Ring Galaxy Academic & Science
Prague Airport Code
Partial Risk Guarantee Business
Product Release Group Business
Paragon Diamnd Business
Programmed Maintenance Services Ltd Business
Panda Restaurant Group Business
Production Resource Group Business
Patent Resources Group Business
Paesanos Restaurant Group Business
Presidential Restaurant Group Business
Phoenix Restaurant Group Inc Business
Pacific Rim Gourmet Business
Panda Restaurant Group (Rosemead, CA) Business
Pressure Relief Group Community
Programming Research Group Computing
Program Source (dbase Iv - Foxpro - Ca Clipper - Dbfast) File Type
Program (atari) File Type
Project Reference Group General
Photo-Reconnaissance Group General
Privacy Glass General
Porsche Racing Green General
Porsche Retail Group General
Post Redirect Get General
Payroll Resource Group General
Premier Rewards Gold General
Project Resources Group General
Phoenix Rock Gym General
Preservation Resource Group General
Philadelphia Rock Gyms General
Portland Rock Gym General
Peyton Resource Group General
Personal Ring Group General
Professional Recruiters Group General
Property Resources Group General
Power Resources Group General
Prado Running Gun General
Pashenka Of Rushen Girlz General
Preliminary Remediation Goals General
Preferred Resource Group General
People's Revolutionary Government Governmental
Potentiel de Réchauffement Global (French: Global Warming Potential) Governmental
Parti Radical de Gauche (French: Left Radical Party) Governmental
Preliminary Remediation Goal Governmental
PRAYAG Indian Railway Station
Platelet Rich Gel Medical
Piwi-Related Gene Medical
Periodontal Research Group (British Society for Dental Research; UK) Medical
Program Review Group Military and Defence
Programming Research Group (Oxford University) Regional
Provisional Revolutionary Government of South Vietnam Regional
Prague, Czech Republic Regional
Performance Reward Grant Regional
Philadelphia Rockclimbing Gym Sports
Philly Roller Girls (roller derby league; Philadelphia, PA) Sports
Paris Rollergirls (Roller Derby League; Paris, France) Sports

Report

Posted on 21 Sep 2024, this text provides information on Miscellaneous in Computing related to Computing. Please note that while accuracy is prioritized, the data presented might not be entirely correct or up-to-date. This information is offered for general knowledge and informational purposes only, and should not be considered as a substitute for professional advice.

Take Quiz To Earn Credits!

Turn Your Knowledge into Earnings.

tuteehub_quiz

Write Your Comments or Explanations to Help Others



webstory list tuteehub
Miscellaneous in Computing
webstory list tuteehub
Miscellaneous in Computing


Ever curious about what that abbreviation stands for? fullforms has got them all listed out for you to explore. Simply,Choose a subject/topic and get started on a self-paced learning journey in a world of fullforms.

Important Computing Links

open app imageOPEN APP