Lightweight Declarative Server-Side Web Programming
Web interfaces are an important part of many applications but their implementation is full of pitfalls due to the client/server nature of web programming. This paper presents a lightweight approach to web programming based on a standard infrastructure, in particular, the common CGI protocol between client and server. No specific additions are necessary on the server side. Our approach exploits declarative programming features to provide a high-level API for server-side web scripting. This API allows to check many programming errors at compile time by using functional (static typing, higher-order functions) as well as logic (free variables) programming features. Together with further abstractions, like session handling, persistence, and typeful database access, it is used for non-trivial web applications.
Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | Applications of Declarative LanguagesPADL at PADL Chair(s): Ekaterina Komendantskaya Heriot-Watt University, UK | ||
16:00 30mResearch paper | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States PADL Fabio Tardivo New Mexico State University, Loc Pham New Mexico State University, Tran Cao Son New Mexico State University, Enrico Pontelli New Mexico State University | ||
16:30 30mResearch paper | Data validation meets Answer Set Programming PADL Mario Alviano University of Calabria, Carmine Dodaro Department of Mathematics and Computer Science, University of Calabria, Arnel Zamayla University of Calabria, Italy | ||
17:00 30mResearch paper | Lightweight Declarative Server-Side Web Programming PADL Michael Hanus Kiel University | ||
