| EPSRC Reference: |
EP/E044956/1 |
| Title: |
Programming abstractions and static analyses for the web 2.0 and beyond. |
| Principal Investigator: |
Maffeis, Dr S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Postdoc Research Fellowship |
| Starts: |
01 June 2007 |
Ends: |
30 September 2010 |
Value (£): |
244,294
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Modelling & simul. of IT sys. |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
13 Feb 2007
|
Postdoc Fellowships Sift Panel - Computer Science
|
InvitedForInterview
|
|
|
Summary on Grant Application Form |
|
Programming for the web is shifting from building applicationswhich feature network connectivity, to tying together, typicallyusing a scripting language, a set of functionalities alreadyoffered by several disparate sources available online.This new programming model involves many subtle issues, caused bythe interplay of concurrency, distribution, scripting, dataquerying and inter-operability. Moreover, it lacks the solidmathematical foundations that software science has provided, forexample, to imperative and functional programming.The purpose of this proposal is to study programming abstractionsand develop static analysis techniques to help support the robustand secure development of the next generation of web applications.It aims to develop a coherent set of ideas, calculi, and tools for dynamic web data and to use these theories to guide the implementation of a proof-of-concept scripting language for web programming.
|
|
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.imperial.ac.uk |