×
马西亚尔·罗梅罗，J.雷蒙多;M.Andrew Moshier

序列实数计算和递归关系。 （英语） Zbl 1328.03046号

数学。日志。问：。 54，第5号，492-507（2008）.
摘要：在第一位作者的论文[用于精确实数计算的序列语言的语义。伯明翰：伯明翰大学（博士论文）（2004）]中，研究了用于实数运算的序列语言LRT。这篇论文证明了所有多项式都是可编程的，但这项工作没有给出语言的表达能力的完整特征，即使是对于一阶函数也是如此。技术问题是轻轨是不确定性的。因此，其表达能力的自然特征应该是关系而不是功能。在《Theor.Comput.Sci.162，No.1，45-77》（1996；Zbl 0871.68028号)],V.布拉特卡研究了自然数上Kleene递归函数风格的递归关系的形式化。本文是作者Electron.Notes Theor.Comput.Sci.202171-189（2008；Zbl 1262.03087号)]它根据Brattka的递归关系建立了LRT的一种变体LRT的表达能力。由于Brattka已经完成了在他的递归关系和第二类有效性理论之间建立精确联系的工作，因此我们获得了LRT中一阶可定义性的完整表征。

MSC公司：

03D78号 实数上的计算，可计算分析
20日03时 递归函数和关系、子递归层次结构
68甲18 函数编程和lambda演算
68问题55 计算理论中的语义学

关键词：

精确实数计算;顺序计算;递归关系;语义学;不确定性;PCF公司

引文：

Zbl 0871.68028号;Zbl 1262.03087号

软件：

SHRAD公司
PDF格式BibTeX公司 XML格式引用
\textit{J.R.Marcial-Romero}和\textit{M.A.Moshier}，数学。日志。企54、5号、492--507（2008；Zbl 1328.03046）
全文： 内政部

参考文献：

[1] S.Abramsky和A.Jung，领域理论。摘自：《计算机科学逻辑手册》（S.Abramsky、D.M.Gabbay和T.S.E.Maibaum编辑），第1-168页（克拉伦登出版社，1994年）。
[2] 布拉特卡，可计算实值函数和关系的递归表征，理论。计算。科学。162第45页–（1996年）·Zbl 0871.68028号
[3] P.Di Gianantonio，实数可计算性的函数方法。比萨大学博士论文，1993年。技术报告TD 6/93·Zbl 0925.68154号
[4] Escardó，用实数扩展的PCF，Theoret。计算。科学。162第79页–（1996）
[5] M.H.Escardó，用实数扩展的PCF：高阶精确实数计算的域理论方法。伦敦大学博士论文，1997年。
[6] Escardó，《关于实数计算的区间模型的非连续性》，《计算机科学中的数学结构》14，第803页–（2004）·Zbl 1067.68070号
[7] A.Farjudian，实数计算中的序列性。伯明翰大学博士论文，2004年·Zbl 1273.68073号
[8] Shrad Farjudian：序列实数计算语言，Theoret。计算。科学。第41页第49页–（2007年）
[9] P.B.Levy，Call-by-push-value:一种包容范式。在：打字兰姆达微积分和应用。计算机科学1581讲义，第228-242页（Springer，1999）。
[10] J.R.Marcial-Romero，用于精确实数计算的序列语言的语义。伯明翰大学博士论文，2004年12月·Zbl 1118.68083号
[11] J.R.Marcial-Romero和M.H.Escardó，用于精确实数计算的序列语言语义。摘自：2004年IEEE第十九届计算机科学逻辑研讨会论文集（H.Ganzinger，ed.），第426-435页（IEEE计算机社会出版社，2004年）。
[12] Marcial-Romero，用于精确实数计算的序列语言语义，Theoret。计算。科学。379（1-2）第120页–（2007）·Zbl 1118.68083号
[13] J.R.Marcial Romero和A.Moshier，序列实数计算和递归关系。摘自：第四届国际可计算性和分析复杂性会议论文集。出现在理论计算机科学的电子笔记中·Zbl 1262.03087号
[14] Martin，拓扑空间的领域理论模型，In:Proceedings of Compox III（A.Edalat，A.Jung，K.Keimel，and M.Kwiatkowska，eds.），《理论计算机科学电子笔记》13 pp 173–（1998）
[15] 马丁，领域理论中的测量过程。摘自：《自动化》，《语言与编程》，第116-126页（Springer，2000年）·Zbl 0973.68131号
[16] 莫吉，《计算与单子概念》，《信息与计算》93，第55页–（1991）·Zbl 0723.68073号
[17] Plotkin，LCF被认为是一种编程语言，Theoret。计算。科学。第5页，第223页–（1977年）·Zbl 0369.68006号
[18] D.Plume，用于精确实数计算的计算器。爱丁堡大学计算机科学与人工智能系硕士论文，1998年。
[19] P.J.Potts、A.Edalat和M.Escardó，精确实数运算的语义。摘自：第十二届IEEE计算机科学逻辑研讨会论文集，第248-257页（IEEE计算机社会出版社，1997年）。
[20] D.S.Scott，格理论，数据类型和语义。摘自：《程序设计语言的形式语义》，第66-106页（普伦蒂斯·霍尔出版社，1972年）。
[21] K.Weihrauch，可计算分析（Springer，2000）·兹比尔0956.68056
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。