The Core NSP Type System

1st International Workshop on Web Maintenance and Reengineering

Dirk Draheim ; Gerald Weber

Others  :  http://CEUR-WS.org/Vol-193/paper1.pdf
PID  :  12450

来源: CEUR

【 摘 要 】

A good deal of software development and maintenance costs for Web applications stem from the fact that the untyped, flat message concept of the CGI interface has its footprint in the commonly used Web programming models and Web development technologies. Still it is necessary to reengineer large legacy Web applications that have been developed without the help of an improved Web technology. Current web application frameworks offer support to deal with client page type errors dynamically, however, no static type checks are provided by these tools. Furthermore, they do not allow for detecting potential web page description errors at compile time. In this paper, the static semantics of a new typed server pages approach is defined as an algorithmic, equi-recursive type system with respect to an amalgamation with a minimal imperative programming language and a collection of sufficiently complex programming language types.