Programming abstractions and static analyses for the web 2.0 and beyond.

面向网络的编程正在从构建以网络连接为特征的应用程序，转变为通常使用脚本语言，将已经由几个不同的在线资源提供的一组功能捆绑在一起。这种新的编程模型涉及许多微妙的问题，这些问题是由并发性、分布、脚本、数据查询和互操作性的相互作用引起的。此外，它缺乏软件科学所提供的坚实的数学基础，例如命令式和函数式编程。该提案的目的是研究编程抽象和开发静态分析技术，以帮助支持下一代web应用程序的健壮安全开发。它旨在为动态web数据开发一套连贯的思想、演算和工具，并使用这些理论来指导web编程的概念验证脚本语言的实现。

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.