Search
Results
-
Modeling Choice in Co-Design
(2021)This report describes a method for modeling free and forced choice within Co-Design. In a free choice among a set, one has control over which option is selected, while in a forced choice one does not. Given a preorder P describing resources or functionalities, a free choice among a subset of P acts like a meet. Dually, a forced choice acts like a join. Moreover, the two types of choice distribute over one another. Based on this, we construct ...Student Paper -
Compiling JSONiq Queries to Native Machine Code
(2021)JSONiq is a querying language specifically tailored for JSON files, whose key capability is to deal with unorganized and heterogeneous data. However, this benefit comes at a computational cost. The current implementations usually do not have any optimization on homogeneous data. In some cases, these optimization exists but are however limited. As a result, a substantial amount of overhead can be removed when considering homgenous data. ...Student Paper