Reactive programming has recently gained popularity as a paradigm that is well-suited for
developing event-driven and interactive applications. It facilitates the development of such …

Side effects are both the essence and bane of imperative programming. The programmer
must carefully coordinate actions to manage their side effects upon each other. Such …

Data validation rules constitute the constraints that data input and processing must adhere to
in addition to the structural constraints imposed by a data model. Web modeling tools do not …

The programming community seems to be forever searching for the ultimate user interface
programming approach and the accompanying framework. We describe the landscape of …

The paper focuses on bugs in web applications that can be detected by analyzing the
contents and layout of page elements inside a browser's window. Based on an empirical …

Functional reactive programming (FRP) provides a high-level interface for implementing
reactive systems in a declarative manner. However, this high-level interface has to be …

Exploiting the parallelism in multiprocessor systems is a major challenge in modern
computer science. Multicore programming demands a change in the way we design and use …

The paper focuses on bugs in web applications that can be detected by analyzing the
contents and layout of page elements inside a browser's window. Based on an empirical …

For a GUI to remain responsive, it must be able to schedule lengthy tasks to be executed
asynchronously. In the traditional approach to GUI implementation--writing functions to …

When models of a system change, analyses based on them have to be reevaluated in order
for the results to stay meaningful. In many cases, the time to get updated analysis results is …