Dually nondeterministic functions
Dually nondeterministic functions
复制标题
对偶非确定性函数
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. Tyrrell
中科院分区：
文献类型：
--
作者：
Joseph M. Morris;M. Tyrrell
不确定性是计算中的一个基本概念。我们表明，它可以描述的一般理论，占它的形式，它发生在许多编程环境中，其中规范，竞争代理，数据细化，抽象解释，命令式编程，进程代数，递归理论。这些应用的基础是一个理论的不确定性函数，我们构建这样一个理论。该理论包括一个代数，从业者可以与非确定性的功能，和一个指称模型，以建立理论的合理性。该模型基于偏序集上自由完全分配格的思想。我们推导出非确定函数的重要性质。
Nondeterminacy is a fundamental notion in computing. We show that it can be described by a general theory that accounts for it in the form in which it occurs in many programming contexts, among them specifications, competing agents, data refinement, abstract interpretation, imperative programming, process algebras, and recursion theory. Underpinning these applications is a theory of nondeterministic functions; we construct such a theory. The theory consists of an algebra with which practitioners can reason about nondeterministic functions, and a denotational model to establish the soundness of the theory. The model is based on the idea of free completely distributive lattices over partially ordered sets. We deduce the important properties of nondeterministic functions.