×
Hideki Tsuiki

使用承诺选择逻辑编程语言进行实数计算。 （英语） Zbl 1080.68011号

J.日志。阿尔盖布。程序。 64，第1期，61-84（2005）.
摘要：如作者所示【Theor.Comput.Sci.284，467-485（2002；Zbl 1042.68071号)]，实线可以拓扑地嵌入到最多包含一个\（\ perp\）的\（\ 0，1，\ perp\}\）的无限序列的集合\（\ Sigma{\perp，1}^{\omega}\）中。此外，还有一种不确定的多头机器，称为IM2-machine，它在\（\Sigma_{\perp，1}^{\omega}\）上运行，并通过这种嵌入在实域上诱导了计算的标准概念。在本文中，我们研究了IM2机器的行为如何用“真实”编程语言表示。当我们使用像Haskell这样的惰性函数语言并将序列表示为无限列表时，我们无法表达IM2机器的行为。然而，当我们使用带有保护子句和承诺选择的逻辑编程语言时，例如Concurrent Prolog、PARLOG和GHC（guarded Horn Clause），我们可以自然地表达IM2机器的行为，并在普通计算机上执行它们。我们表明，当我们一般考虑在\（\Sigma_{\perp，1}^{\omega}\）上定义的函数时，GHC-computability意味着IM2-可计算性，但反之亦然，但当我们只考虑在实域上定义的功能时，它们是一致的。我们给出了一些GHC程序示例，例如格雷码与有符号数字表示之间的转换，以及实型上的加法函数。

引用于2文件

MSC公司：

68N17号 逻辑编程
2005年第68季度 计算模型（图灵机等）（MSC2010）

引文：

Zbl 1042.68071号

软件：

哈斯克尔；GHC公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Tsuiki}，J.Log。阿尔盖布。程序。64，第1号，61--84（2005；Zbl 1080.68011）
全文： 内政部

参考文献：

[1] Abramsky，S。；Jung，A.，领域理论，（Abramsky，S.；Gabbay，D.；Maibaum，T.S.E.，《计算机科学逻辑手册》，第3卷（1994年），牛津大学出版社），1-168·兹伯利0829.68111
[2] de Boer，F.S。；迪·皮耶罗，A。；Palamidessi，C.，约束规划中的非确定性和无限计算，理论计算机科学，151，1，37-78（1995）·Zbl 0872.68103号
[3] Gregory，S.，《PARLOG中的并行逻辑编程》（1987），Addison-Wesley
[4] Jones，S.P.，Haskell 98《语言与图书馆》，《修订报告》（2003年），剑桥大学出版社·Zbl 1067.68041号
[5] G.D.Plotkin，高级领域理论研究生毕业后讲稿，1981年；G.D.Plotkin，高级领域理论研究生毕业后讲稿，1981年
[6] V.A.Saraswat，M.Rinard，P.Panangaden，并发约束编程的语义基础，收录于：Proc。ACM交响乐团（Ann.18）。《程序设计语言原理》，纽约，1991年；V.A.Saraswat，M.Rinard，P.Panangaden，并发约束编程的语义基础，收录于：Proc。ACM交响乐团（Ann.18）。《程序设计语言原理》，纽约，1991年
[7] （夏皮罗，E.，《并发序言：论文集》，第1卷和第2卷（1986年），麻省理工学院出版社）
[8] Shapiro，E.，《并发序言：进度报告》，IEEE Computer，19，8，44-58（1986），（另见[7]，第5章）
[9] Tsuiki，H.，拓扑空间的计算维，（Blank，J.；Brattka，V.；Hertling，P.，分析中的可计算性和复杂性。分析中的计算性和复杂度，计算机科学讲义，第2064卷（2001），Springer:Springer-Berlin），323-335·Zbl 0985.03029号
[10] Tsuiki，H.，通过灰度码嵌入进行实数计算，《理论计算机科学》，284，2467-485（2002）·Zbl 1042.68071号
[11] H.Tsuiki，底序列域中作为极小极限集的紧度量空间，计算机科学中的数学结构，出版；H.Tsuiki，底序列域中作为最小极限集的紧度量空间，计算机科学中的数学结构，出版·Zbl 1072.54024号
[12] H.Tsuiki，K.Sugihara，《函数语言底层的Streams》，准备中；H.Tsuiki，K.Sugihara，《函数式语言中底部的流》（Streams with a bottom in functional languages，in preparation）·Zbl 1108.68365号
[13] 上田，K。；Chikayama，T.，并行推理机内核语言的设计，《计算机杂志》，33，6，494-500（1990）
[14] Ueda，K.，Guarded Horn子句，（Wada，E.，逻辑编程’85。逻辑编程’85，计算机科学讲义，第221卷（1986），施普林格），168-179，（修订版见[7]，第4章）·Zbl 0771.68037号
[15] Ueda，K.，《设计并发编程语言》，（摘自：IPSJ组织的纪念30周年国际会议（InfoJapan'90）（1990年10月），日本信息处理学会），87-94
[16] klic主页http://www.klic.org/; klic主页http://www.klic.org/
[17] Weihrauch，K.，《可计算分析》，导论（2000），施普林格出版社·Zbl 0956.68056号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。