SCL-T: Template programming for Siemens SCL

Programmable Logic Controllers (PLCs) are used to control large scale systems with thousands of I/O devices. Writing and maintaining the logic for each of these is a cumbersome task, which is well suited to be abstracted through templating. For this purpose, CERN developed the Unicos Application Builder (UAB). While UAB is successful at...

A type system for dynamic instances

Side-effect are ubiquitous in programming. Examples include mutable state, exceptions, non-determinism, and user input. Algebraic effects and handlers are an approach to programming that gives a structured way of programming with effects. Each effect in a system with algebraic effects is defined by a set of operations. These operations can then...

Choosing from skyline sets

The skyline operator has been proposed to bridge the gap between traditional and multimedia database systems by finding the optimal objects according to the notion of Pareto dominance. According to the notion of Pareto dominance an object dominates another if it is better in one attribute and equal in all others. Skyline sets end up being pretty...