| EPSRC Reference: |
GR/K58708/01 |
| Title: |
LINKING THEORIES FOR COMPUTER SCIENCE |
| Principal Investigator: |
Hoare, Professor Sir C |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 September 1995 |
Ends: |
31 August 1998 |
Value (£): |
213,256
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The main programming paradigms are functional, logical, sequential, non-deterministic, distributed, reactive, probabilistic, object-oriented, etc. Computer hardware is formalised at the level of switches, gates, state-machines, architecture, etc. Computational theories may be presented in a variety of styles, denotational, algebraic, operational, etc. A single computer system (e.g. PC network) contains elements specified and/or implemented in a multiplicity of paradigms and technologies, and described in different styles. The fundamental questions of Computing Science are: How do these elements all fit together into working systems? What are the interfaces between the elements and technologies? In what sense does each level of physical implementation meet its specification expressed at the next higher level of abstraction of granularity? Can this relationship be inverted to provide a systematic development path from specification to error-free implementation? Can part of the development be automated? Answers to these question, would link the theories that underlie the individual paradigms, use separately of in combination; it would broaden our understanding of the basic structure of Computing Science as a coherent intellectual discipline.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.ox.ac.uk |