论文标题
信息流的逻辑中的输入，输出和组成
Inputs, Outputs, and Composition in the Logic of Information Flows
论文作者
论文摘要
信息流的逻辑（LIF）是一个通用框架，可以以声明性的，基于逻辑的方式对程序性质的任务进行建模。本文的第一个贡献是提出了LIF表达式输入和输出的语义和句法定义。我们研究两者如何联系并表明我们的句法定义在精确的意义上是最佳的。第二个贡献是对LIF中顺序组成的表达能力的系统研究。我们在输入和输出的结果中取决于组成的结果，并将LIF与一阶逻辑（FO）和有界变量的LIF与有限变量的FO相关联。
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 this paper is to propose semantic and syntactic definitions of inputs and outputs of LIF expressions. We study how the two relate and show that our syntactic definition is optimal in a sense that is made precise. The second contribution is a systematic study of the expressive power of sequential composition in LIF. Our results on composition tie in the results on inputs and outputs, and relate LIF to first-order logic (FO) and bounded-variable LIF to bounded-variable FO.
