Writing UIs for Vaadin Flow can easily lead into messy code when there are lots of component hierarchy being defined. Java is an imperative programming language, while user interface definitions ...

Declarative Programming with Intensional Sets in Java Using JSetL Abstract: Intensional sets are sets given by a property rather than by enumerating their elements. In a previous work, we have ...

The talk will discuss the benefits of using logic-based declarative languages, especially for program analysis. The main focus will be on the Doop framework for points-to analysis of Java programs.