| EPSRC Reference: |
GR/L39346/01 |
| Title: |
TYPED CONCURRENT OBJECT-ORIENTED LANGUAGES: FOUNDATIONS, METHODS AND TOOLS |
| Principal Investigator: |
Abramsky, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
15 April 1997 |
Ends: |
14 August 2000 |
Value (£): |
190,231
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Our aim is to provide sound semantic foundations for languages such as JAVA and to develop methods and tools for the analysis and certification of programs written in these languages. Although our aim is not language design, we also hope that our work will give insight into which points in the design space yield a favourable balance between expressiveness and tractability. We intend to focus specifically on JAVA as a target language, since on the one hand it is a clean enough design that we believe it is feasible to give a formal model of a usefully expressive subset of it; and on the other hand studying JAVA guarantees a rich field of case studies and practical experience to draw on.
|
|
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.ed.ac.uk |