Concept
Projection (relational algebra)
Related publications (6)
Aesthetic Space
Recent 'turns' in social sciences, namely the visual, qualitative, actorial or spatial turns, all indicate a rising interest in individuals. Since the aesthetic dimension always nourishes and informs individualsâ spatialities and their decision-making pr ...
EPFL2017Functional Pearl: A SQL to C Compiler in 500 Lines of Code
We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code - a convincing case study that high-level functional programming can handily beat C for system ...
Assoc Computing Machinery2015Functional Pearl: A SQL to C Compiler in 500 Lines of Code’
We present the design and implementation of a SQL query processor that outperforms existing database systems and is written in just about 500 lines of Scala code – a convincing case study that high-level functional programming can handily beat C for system ...
2015Building a Calculus of Data Structures
Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac
Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...
Springer2010