福赛特 swMATH ID: 21367 软件作者: 约翰·雷诺兹 描述: 程序设计语言Forsythe的设计。这是对编程语言Forsythe的描述,它是Algol 60的后代,旨在尽可能统一和通用,同时保留其祖先的基本特征。(本报告取代Forsythe[1]的初步描述。) 主页: https://link.springer.com/chapter/10.1007%2F978-1-4612-4118-8_9 相关软件: 毫升;斯卡拉;Coq公司;Twelf公司;德尔芬;Nuprl公司;铁锈地带;生锈;类型脚本;CLOS公司;渐变动态语义;github;星尘;白鲸;伊莎贝尔;红宝石;贝塔;蟒蛇;迪伦;模拟67 引用于: 29文件 全部的 前5名48位作者引用 4 乔舒亚·邓菲尔德 4 布鲁诺·C·d·S·奥利维拉。 4 弗兰克·芬宁 三 马里奥弗洛里多 2 佩德罗·安吉罗 2 乌戈·德利古罗 2 马里亚纽拉州Dezani-Ciancaglini 2 丹尼尔·多尔蒂(Daniel J.Dougherty)。 2 J.Roger欣德利 2 路易吉·利科里 2 威廉·洛瓦斯 1 Joao Alpuim 1 桑德拉·阿尔维斯 1 E.S.班布里奇。 1 安妮迪亚·班纳吉 1 洛伦佐·贝蒂尼 1 维维亚娜·博诺 1 米歇尔·布格列西 1 费利斯·卡多内 1 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 1 达斯,安库什 1 亨利·德扬 1 罗兰·杜库诺 1 范安东 1 彼得·弗雷德。 1 西尔维娅·吉勒赞 1 罗伯特·哈珀 1 黄雪晶 1 泽珊·拉哈尼 1 皮埃尔·莱斯坎 1 马克·利利布里奇 1 安德烈亚·莫迪多 1 O'Hearn,Peter W。 1 圣地亚哥·M·佩里卡斯·格特森。 1 让·普里瓦特 1 西蒙娜·隆奇·德尔拉·罗卡 1 安德烈·斯克洛夫 1 戴维·施密特(David A.Schmidt)。 1 菲利普·斯科特。 1 史志远 1 克劳德·斯托尔泽 1 罗伯特·D·坦能。 1 范·贝克尔,斯特芬 1 贝蒂·文内里 1 谢宁宁 1 薛、徐 1 赵金旭 1 周耀达 全部的 前5名7篇连载文章中引用 5 理论计算机科学 三 信息与计算 三 函数编程杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 计算机科学中的逻辑方法 在3个字段中引用 25 计算机科学(68至XX) 16 数理逻辑与基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文