Inputs, Outputs, and Composition in the Logic of Information Flows

Heba Aamer, Bart Bogaerts, Dimitri Surinx +2

The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of th…