An Abstract Data Type for Real Numbers. ⋆

An Abstract Data Type for Real Numbers. ⋆
复制标题

实数的抽象数据类型 ⋆。

DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Pietro Di Gianantonio
Pietro Di Gianantonio
中科院分区：
--
文献类型：
--
作者：
Pietro Di Gianantonio

文献摘要

被引文献

相似文献

我们提出一种以实数作为基本数据类型的微积分。微积分是由其指称语义定义的。我们证明了微积分的普遍性。我们展示了操作语义的定义是如何存在问题的。我们讨论这个问题并提出一个可能的解决方案
We present a calculus having real numbers as a basic data type. The calculus is defined by its denotational semantics. We prove the universality of the calculus. We show how the definition of an operational semantics is problematic. We discuss this problem and present a possible solution