Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 17:00 - 17:30 at PADL - Applications of Declarative Languages Chair(s): Ekaterina Komendantskaya

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 Jan

Displayed 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
30m
Research 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
30m
Research 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
30m
Research paper
Lightweight Declarative Server-Side Web Programming
PADL
Michael Hanus Kiel University