Web applications have a very high demand for rapid development and constant change. Several languages were created for this kind applications, which are very flexible but many times trade the benefits of strongly-typed programming languages by untyped interpreted languages. With this kind of languages the interaction between the different layers in a web application is usually developed using dialects and convections with no real mechanical verifications between client and server sides, and the SQL code within the application and the database. We present a typed core language for web applications that integrates the typing of interface definition, business logic and database manipulation representing these interactions at a high abstract level. We also describe the implementation of a prototype of a highly flexible programming environment for our language that allows dynamic web application development without loosing the integrity checks.
|Title of host publication||InForum|
|Publication status||Published - 1 Jan 2010|
|Event||InForum - |
Duration: 1 Jan 2010 → …
|Period||1/01/10 → …|