| EPSRC Reference: |
GR/K42028/01 |
| Title: |
REASONING WITH FAIRNESS |
| Principal Investigator: |
Kwiatkowska, Professor MZ |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
08 October 1994 |
Ends: |
07 September 1996 |
Value (£): |
46,882
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Successful research into programming languages draws from the difficulties encountered in practice and provides theoretical solutions which appeal both to the practitioners and theoreticians. While most theoreticians believe the thesis that semantic functions should be continuous, those who work on software specifications often hold the opposing view. The reason given by the latter group is embodied in the slogan: specifications describe the what, rather than the how. Moreover, software specifications must account for the presence of an environment, which constrains the system, but cannot be constrained by it. As environments can behave erratically, they do not necessarily have to be machine-realisable, and hence semantically continuous. In fact, there is strong evidence that in case of fairness monotonicity suffices. We propose to develop a general framework for reasoning with environmental constraints, with particular emphasis on reasoning with fairness.
|
|
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.bham.ac.uk |