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

Web 2.0 及更高版本的编程抽象和静态分析。

• 批准号: EP/E044956/1
• 负责人: Sergio Maffeis
• 金额: $ 31.13万
• 依托单位: Imperial College London
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2007
• 资助国家: 英国
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FE044956%2F1
• 关键词: Programming; abstractions; static; analyses; 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.

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

项目成果

Behavioural equivalences for dynamic Web data

动态 Web 数据的行为等效性

• DOI: 10.1016/j.jlap.2007.06.004
• 发表时间: 2008
• 期刊: The Journal of Logic and Algebraic Programming
• 作者: Maffeis S

Object Capabilities and Isolation of Untrusted Web Applications

• DOI: 10.1109/sp.2010.16
• 发表时间: 2010-05
• 期刊: 2010 IEEE Symposium on Security and Privacy
• 作者: S. Maffeis;John C. Mitchell;Ankur Taly

Language-Based Isolation of Untrusted JavaScript

基于语言的不可信 JavaScript 隔离

• DOI: 10.1109/csf.2009.11
• 发表时间: 2009
• 作者: Maffeis S

Refinement Types for Secure Implementations

• DOI: 10.1145/1890028.1890031
• 发表时间: 2011-01-01
• 期刊: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
• 影响因子: 1.3
• 作者: Bengtson, Jesper;Bhargavan, Karthikeyan;Maffeis, Sergio
• 通讯作者: Maffeis, Sergio