DrScheme博士 swMATH ID: 1265 软件作者: 芬德勒,罗伯特·布鲁斯;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特(Matthew Flatt);克里希纳穆提(Krishnamurthi,Shriram);Paul Steckler;马提亚斯·费莱森 描述: DrScheme是Scheme的编程环境。它完全集成了一个图形丰富的编辑器、Scheme的多个变体的解析器、一个功能性的read-eval-print循环和一个代数打印机。这个环境对学生特别有用,因为它有一个受语法限制的Scheme变体塔,旨在捕捉典型的学生错误并用学生理解的术语解释它们。由于其复杂的编程工具(如静态调试器)及其高级语言功能(如单元和mixin),该环境对专业程序员也很有用。除了普通的编程环境工具外,DrScheme还提供了代数步进器、上下文敏感语法检查器和静态调试器。步进器根据Scheme的简化语义将Scheme程序简化为值。它对于解释语言设施的语义和研究小程序的行为很有用。语法检查器根据程序的语法结构,用字体和颜色更改来注释程序。根据需要,它会绘制箭头,指示标识从绑定到绑定的出现。它还支持α-重命名。最后,静态调试器提供了一个类型推理系统,该系统根据一个有选择地覆盖在程序文本上的值流图解释特定的推理。 主页: http://download.plt-scheme.org/doc/html/drscheme/ 关键词: DrScheme公司;方案的编程环境 相关软件: LISP公司;哈斯克尔;ACL2型;Mz方案;艾菲尔;博士ACuLa;Coq公司;GHC公司;蜜蜂;蚂蚁识别码;Polyglot公司;电子稳定控制系统/Java;贾斯特阿德;德尔福;Visual Basic;莫德;Smalltalk公司;流行标志;佩尔;LAML灯 引用于: 27文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 DrScheme:方案的编程环境。 Zbl 0987.68610号罗伯特·布鲁斯·芬德勒;约翰·克莱门茨;科马克·弗拉纳根;马修·弗拉特;克里希纳穆提,施莱姆;保罗·斯特克勒;马提亚斯·费莱森 2002 全部的 前5名52位作者引用 7 马提亚斯·费莱森 6 克里希纳穆提,施莱姆 5 罗伯特·布鲁斯·芬德勒 5 马修·弗拉特 三 Paul A.Steckler。 2 约翰·克莱门茨(John C.Clements)。 1 吉尔·巴特 1 马蒂亚斯·布鲁姆 1 迈克尔·克拉克森。 1 格雷戈里·库珀。 1 瑞安·库佩普 1 马库斯·德根 1 彼得·迪林杰(Peter C.Dillinger)。 1 纪尧姆·杜菲 1 克里斯托弗·达奇恩 1 凯西·菲斯勒 1 科马克·弗拉纳根 1 迈克尔·W·戈弗雷。 1 Paul T.Graunke。 1 亚伯兰·欣德尔 1 理查德·霍尔特(Richard C.Holt)。 1 霍普金斯,彼得·沃尔顿 1 伊索莫特宁,维尔 1 Jakubiec,线路 1 哈里·C·李。 1 Manolios,Panagiotis公司 1 大卫·艾伦·麦卡利斯特 1 杰·麦卡锡(Jay A.McCarthy)。 1 梅洛·德·索萨,西蒙 1 菲利普·梅尼尔 1 摩尔,J·斯特罗瑟 1 安德鲁·迈尔斯(Andrew C.Myers)。 1 托比亚斯·尼普科 1 纳撒尼尔·奈斯特罗姆 1 斯科特·欧文斯 1 德米特里·阿列克谢维奇 1 格雷格·佩蒂约翰 1 约翰·H·Reppy。 1 伯纳德·保罗·塞尔佩特 1 曼纽尔·塞拉诺 1 阿伦·斯塔姆 1 弗拉基米尔·苏沃金。 1 彼得·蒂曼。 1 维尔·蒂尔隆 1 大卫·B·塔克。 1 亚伦·约瑟夫·图伦 1 塞缪尔·乌西·梅·凯拉 1 达隆·弗隆 1 Christian Wagenknecht先生 1 米切尔·旺德 1 斯特凡·韦尔 1 詹姆斯·威廉姆斯。 全部的 前5名6篇连载文章中引用 6 函数编程杂志 三 计算机程序设计科学 三 高阶和符号计算 1 软件。实践与经验 1 天体力学和动力学天文学 1 逻辑与代数程序设计杂志 在3个字段中引用 26 计算机科学(68至XX) 2 数学教育(97-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文