Abstract
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the client and into SQL to run on the database. Links supports rich clients running in what has been dubbed ‘Ajax’ style, and supports concurrent processes with statically-typed message passing. Links is scalable in the sense that session state is preserved in the client rather than the server, in contrast to other approaches such as Java Servlets or PLT Scheme. Client-side concurrency in JavaScript and transfer of computation between client and server are both supported by translation into continuation-passing style.
Original language | English |
---|---|
Title of host publication | Formal Methods for Components and Objects |
Subtitle of host publication | 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures |
Publisher | Springer |
Pages | 266-296 |
Number of pages | 31 |
Volume | 4709 |
ISBN (Electronic) | 978-3-540-74792-5 |
ISBN (Print) | 978-3-540-74791-8 |
DOIs | |
Publication status | Published - 2006 |