斯蒂芬·马修斯。 像素几何体。 （英语） Zbl 1264.68107号 Seda，Anthony（编辑）等人，MFCSIT2000。2000年7月20日至21日，爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记40，254-268（2001）。 小结：提出了一种研究程序设计语言指称语义的替代方法，并通过一个借用几何学的例子进行了研究。与使用连续数学的主流Scott-Strachey方法相比，建议使用一种离散的替代方法，它与数据结构比（T_{0}）可分离拓扑更为相似。关于整个系列，请参见[兹比尔1262.68018]. 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 68甲15 编程语言理论 68单位05 计算机图形；计算几何（数字和算法方面） 54E35个 度量空间，可度量性 54E55型 双拓扑 软件：毫升 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Matthews}，电子。注释Theor。计算。科学。40、254--268（2001年；Zbl 1264.68107） 全文： 内政部 参考文献： [1] Paulson，L.C.，工作程序员ML，剑桥大学出版社（1991）·兹比尔0863.68032 [2] 费利克斯·霍夫斯皮安（Felix Hovsepian），《模糊的元分析：逻辑几何的探索性研究》，沃里克大学博士论文（1992） [3] Kong，T.Y。；罗森菲尔德，A.，《数字拓扑：导论与综述》，《计算机视觉、图形与图像处理》，第48卷，357-393（1989） [4] Prenowitz&M.Jordan，W.P.，《几何的基本概念》，Blaisdell出版公司（1965年）·Zbl 0123.37802号 [5] 约瑟夫·斯托（Joseph E.Stoy），《指称语义学：编程语言理论的斯科特·斯特拉奇方法》（1977），麻省理工学院出版社·Zbl 0503.68059号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。