This paper summarizes the round-table discussion that was held during the European Congress of Chemical Engineering (ECCE) in Nice, France, in October 2015 on this topic. The panellists come from different fields of chemical engineering and have thus broug ...
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
Control over the physical properties of nanoparticle assemblies at a liquid–liquid interface is a key technological advancement to realize the dream of smart electrovariable nanosystems. Electrified interfaces, such as the interface between two immiscible ...
Many map-reduce frameworks as well as NoSQL systems rely on collection programming as
their interface of choice due to its rich semantics along with an easily parallelizable set of
primitives. Unfortunately, the potential of collection programming is not ...
Optical prism comprising two external parallel and reflecting surfaces, one internal interface, parallel to said surfaces and acting as light splitter; said prism furthermore comprising an entrance side forming an angle β with respect to said interface and ...
We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...
