摘要
建议
为输入/输出效果关联操作语义和指称语义 我们研究了长期存在的使用副作用表示的输入/输出（I/O）的语义问题。 我们的工具是一种小型的高阶命令式语言，具有交互式字符I/O操作，并基于ML语法。 与以前的理论不同。。。 输入/输出逻辑的自适应逻辑特征 我们将Makinson和van der Torre介绍的无约束和约束输入/输出逻辑转换为模态逻辑，在约束情况下使用自适应逻辑。 由此产生的重新配方还有一些额外的好处。 首先，我们得到一个。。。 输入输出工具：交互式实时系统的语言工具 讨论了一个概念模型，该模型允许从任何一组基本输入原语中对高级输入驱动对象（称为输入-输出工具）进行分层定义。 输入输出工具定义为命名对象。 它最重要的元素。。。
