Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
DynXML: safely programming the dynamic web
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
The essence of data access in Cω: the power is in the dot!
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Hi-index | 0.00 |
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.