×
所罗门·费弗曼

计算抽象数据类型。扩展方法，具有流应用程序。 （英语） Zbl 0858.03048号

Ann.纯粹应用。逻辑 81，编号1-3，75-113（1996）.
本文继承了作者以前关于计算的一般理论的结果，将其应用于作为抽象数据类型的多种分类函数结构。该方法基于一种形式的广义递归理论，该理论使用图式对任何适当结构上类型级小于2的泛函进行显式定义、条件定义和最小不动点递归。本文的主要贡献之一是分离了所提出理论的外延部分，并展示了抽象计算程序如何应用于\（A\）-流（具有\（A\）任意集），特别是有限的非终结流、无限流，甚至更一般的（“gappy”）流。
审核人：N.Curteanu（伊阿什）

引用于2文件

MSC公司：

03D75号 抽象公理可计算性和递归理论
68问题65 抽象数据类型；代数规范
68瓦30 符号计算和代数计算

关键词：

\（A\）-流计算;计算通论;多种功能结构;抽象数据类型;广义递归理论

引文：

Zbl 0819.68078号;Zbl 0825.68456号

软件：

Coq公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Feferman}，Ann.纯苹果。逻辑81，编号1--3，75-113（1996；Zbl 0858.03048）
全文： 内政部
OA许可证

参考文献：

[1] Abelson，H。；苏斯曼，G.J。；Sussman，J.，《计算机程序的结构和解释》（1985年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 1092.68550号
[2] Eršov，Y.L.，《逻辑代数》，第11、4、367-437页（1972年），译自·Zbl 0285.02040号
[3] Feferman，S.，《归纳图式和递归连续泛函》（Gandy，R.O.；Hyland，J.M.E，《逻辑学术讨论会》，’76（1977），北荷兰人：北荷兰阿姆斯特丹），373-392·Zbl 0422.03023号
[4] Feferman，S.，部分递归连续泛函的生成方案，（国际逻辑学会（1977），巴黎CNRS条件：巴黎CNRS的条件），191-198·Zbl 0446.03035号
[5] Feferman，S.，抽象数据类型II的新方法。ADT上的计算作为普通计算，（Börger，E.等，《计算机科学逻辑》，计算机科学逻辑讲义，626（1991），施普林格：施普林格-柏林），79-95·Zbl 0819.68078号
[6] Feferman，S.，抽象数据类型的新方法I.非正式开发，数学。结构。计算。科学。，2, 193-229 (1992) ·Zbl 0825.68456号
[7] Geuvers，H.，《带迭代和递归的归纳和共归纳类型》（BRA-LF会议上的一篇演讲笔记。1991年5月在爱丁堡举行的BRA-LFs会议上的演讲笔记，1992年）
[8] Kleene，S.C.，《元数学导论》（1952），北荷兰：北荷兰阿姆斯特丹·Zbl 0047.00703号
[9] Kleene，S.C.，有限类型的递归泛函和量词I，Trans。阿默尔。数学。《社会学杂志》，91，1-52（1959）·Zbl 0088.01301
[10] Kleene，S.C.，《可数泛函》（Heyting，A.，《数学中的构造性》（1959），北荷兰：北荷兰阿姆斯特丹），81-100·Zbl 0100.24901号
[11] Kreisel，G.，通过有限类型的构造泛函对分析的解释，（Heyting，A.，数学中的构造性（1959），北荷兰：北荷兰阿姆斯特丹），101-128·Zbl 0134.01001号
[12] Leclerc，F。；Paulin-Mohring，C.，《使用流编程》Coq公司-案例研究：Eratastennes筛，（Barendregt，H.；Nipkow，T.，《证明和程序类型》，《计算机科学课堂讲稿》，806（1994）），191-212
[13] Manna，Z.，《计算数学理论》（1974），McGraw-Hill:McGraw-Hill纽约·Zbl 0353.68066号
[14] Mendler，N.P.，《二阶lambda演算中的递归类型和类型约束》，（第二届逻辑与计算机科学年会（1987年），IEEE计算机学会出版社），30-36
[15] Moschovakis，Y.N.，抽象递归作为递归算法理论的基础，（Richter，M.M.；等人，计算和证明理论。计算和证明理论，数学讲义，1104（1984），289-364·Zbl 0599.03052号
[16] Moschovakis，Y.N.，递归的形式语言，J.符号逻辑，54，1216-1252（1989）·Zbl 0702.03023号
[17] 米希尔，J。；Shepherdson，J.，部分递归函数的有效操作，Zeitschrift Math。Logik u.Grundlagen der Mathematik，1310-317（1955）·兹比尔0068.24706
[18] Paulson，L.，高阶逻辑中的共诱导和共递归，（技术报告334（1994），剑桥大学计算机实验室）
[19] Platek，R.A.，递归理论基础，（1966年斯坦福大学博士论文：斯坦福大学，加利福尼亚州斯坦福）·Zbl 0205.01102号
[20] Sazonov，V.Y.，《计算中的并行度》，（计算机科学的数学基础，计算机科学的数理基础，计算机学科的讲义，45（1976）），517-523·Zbl 0341.02035号
[21] 塔克，J.V。；Zucker，J.I.，流代数上的可计算函数，（Schwichtenberg，H.，Proc.NATO暑期证明与计算学校，Proc.北约暑期证明和计算学校，Marktoberdorf，1993（1994），Springer:Springer-Hidelberg），341-382·Zbl 0831.08001号
[22] （van Leeuwen，J.，《理论计算机科学手册》，第B卷：形式模型和语义（1990年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥）和阿姆斯特丹爱思唯尔出版社·Zbl 0714.68001号
[23] Vuillemin，J.，递归程序的证明技术，（博士论文（1973），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福）
[24] Winskel，G.，《编程语言的形式语义》。《导论》（1993），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 0919.68082号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。