Unsticking the web

A single web page in a complex web application has many possible runtime states. Functions, like JavaScript event handlers, that operate on such pages are therefore difficult to write correctly. I propose DynXML, a new language for the web which safely and naturally mutates XML trees. Any dynamic web application written in DynXML is statically guaranteed to be free of structural defects -- code that transforms the page in a way that is unexpected by other code or relies on an element of the page that is of the wrong type or does not exist. I specified DynXML formally and proved it sound. I intend to show its expressiveness by implementing several web application design patterns and a subsection of a popular JavaScript framework. I will analyze web application defects to validate the importance of structural defects.

复杂的Web应用程序中的一个网页具有许多可能的运行时状态。因此，像JavaScript事件处理程序一样，在此类页面上运行的功能很难正确编写。我提出了Dynxml，这是一种安全自然地突变XML树的新语言。在dynxml中编写的任何动态Web应用程序均可保证没有结构缺陷 - 代码以其他代码出乎意料的方式转换页面，或依赖于错误类型或不存在的页面元素。我正式指定了dynxml，并证明了声音。我打算通过实施几种Web应用程序设计模式和流行JavaScript框架的小节来表达其表现力。我将分析Web应用程序缺陷，以验证结构缺陷的重要性。