×
金·古德斯特兰·拉森;格林·温斯克尔

使用信息系统求解递归域方程。 （英语） Zbl 0731.68071号

Inf.计算。 91，第2号，232-258（1991）.
摘要：本文旨在作出以下主要贡献：展示如何利用斯科特信息系统的具体性质在求解递归域方程方面的优势。该方法基于信息系统之间的子结构关系。这基本上构成了信息系统的完整偏序（cpo）。在这个cpo上，函数空间等标准域结构可以连续，因此递归域方程的解可以简化为形成连续函数的最小不动点的更熟悉的结构。

引用于9文件

MSC公司：

68问题55 计算理论中的语义学
03天80 可计算性和递归理论的应用
06B35号 连续格和偏序集，应用

关键词：

信息系统;递归区域方程;完全部分订单
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}和\textit{G.Winskel}，Inf.Compute。91，第232-258号（1991年；兹bl 0731.68071）
全文： 内政部

参考文献：

[1] Aczel，P.，《关于Scott域理论的注释》（1983年），曼彻斯特大学数学系，未出版注释
[2] Berry，G.，《现代综合医学》（Modèles Completement Adéquats et Stables desλ-calculs typés），（巴黎第七大学博士学位（1979））
[3] Berry，G。；Curien，P.-L.，（混凝土数据结构的顺序算法（1981），应用数学中心：应用数学中心Sophia Antipolis），巴黎国家矿山管理局报告·Zbl 0468.00008号
[4] Cutland，N.J.，（可计算性，递归函数理论导论（1980），剑桥大学出版社：剑桥大学出版社伦敦/纽约）·Zbl 0448.03029号
[5] Coppo，M。；Dezani，M。；Longo，G.，《应用信息系统》（CAAP Proc.of CAAP 1983）。程序。1983年，《计算机科学讲义》，第159卷（1983年），《施普林格-弗拉格：柏林/纽约施普林格大学》·兹伯利0524.68018
[6] Curien，P.-L.，《算法和扩展》（《拉波特LITP 82-67》（1982），巴黎第七大学）
[7] Grätzer，G.（《通用代数》（1968），Van Nostrand：新泽西州的Van Nostrand普林斯顿），高等数学大学系列·Zbl 0182.34201号
[8] Gunter，C.（博士论文（1985），威斯康星大学数学系：威斯康星-麦迪逊大学数学系）
[9] 卡恩，G。；Plotkin，G.，《Concrètes庄园》（1978年），拉波特·IRIA Laboria No.336
[10] MacLane，S.，（工作数学家类别（1971），Springer-Verlag:Springer-Verlag Berlin/纽约），数学研究生文本·Zbl 0232.18001号
[11] 尼尔森，M。；Plotkin，G。；Winskel，G.，Petri网，事件结构和域，Theor。计算。科学。(1981) ·Zbl 0452.68067号
[12] Plotkin，G.D.，《完全偏序的范畴：意义生成的工具》（演讲笔记（1978），比萨暑期学校）
[13] Plotkin，G.D.，《权力域构造》，SIAM J.Comput。，5, 3, 452-487 (1978) ·Zbl 0355.68015号
[14] Plotkin，G.D.，（T^ω）作为一个普适域，J.Compute。系统科学。，17, 209-236 (1978) ·Zbl 0419.03007号
[15] Scott，D.S.（指称语义学领域（1982），ICALP）·Zbl 0495.68025号
[16] Scott，D.S.，《计算数学理论讲座》（1981年），牛津大学计算实验室技术专著PRG-19
[17] 斯科特，D.S.，《一个缩回的空间》，1979年11月在不来梅发表的演讲稿
[18] Scott，D.S.，作为格的数据类型，SIAM J.Compute。，5, 522-587 (1976) ·Zbl 0337.02018号
[19] Saheb-Djahromi，概率不确定性（1977），爱丁堡大学计算机科学系CSR-7-77报告·Zbl 0396.68037号
[20] Stoy，J.，（指称语义学：程序设计语言理论的Scott-Strachey方法（1977），麻省理工学院出版社：麻省理学院出版社剑桥）
[21] Smyth，M.，有效给定域，Theoret。计算。科学。，5, 257-274 (1977) ·兹比尔0429.03028
[22] Smyth，M.，最大的笛卡尔封闭域类别，Theoret。计算。科学。(1983) ·Zbl 0556.68017号
[23] 温斯克尔，G.，《计算事件》（1980年爱丁堡大学计算机科学系博士论文）
[24] 温斯克尔，G.，（ICALP.ICALP，计算机科学讲稿（1982），施普林格-弗拉格出版社：柏林/纽约施普林格-Verlag出版社）
[25] 温斯克尔，G.，《关于幂域和模态的注释》（Proc.Foundations of Computation Theory），Proc.Fondations of Computing Theory，1983年。程序。计算理论基础。程序。《计算理论基础》，1983年，《计算机科学讲义》（1983年），施普林格-弗拉格出版社：柏林/纽约·Zbl 0531.68001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。