| EPSRC Reference: |
GR/M08066/01 |
| Title: |
LOGICAL FOUNDATIONS OF PROGRAMMING |
| Principal Investigator: |
Henderson, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electronics and Computer Science |
| Organisation: |
University of Southampton |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
09 February 1998 |
Ends: |
08 May 1998 |
Value (£): |
8,380
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This is a request for support for Professor E.C.R. Hehner of the University of Toronto to visit the Department of Electronics and Computer Science at the University of Southampton for the three months February to April 1998. The visit will allow us to commence a collaboration with Toronto. Professor Hehner will work with Dr A.M. Gravell and Dr M.J. Butler at Southampton. The proposed work will further Hehner's own research on logical foundations of programming and create the opportunity for the Southampton group to understand how to apply it to their own research. It will also afford the opportunity for Hehner to understand the Southampton work and to see how to combine it with his own.
|
|
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.soton.ac.uk |