dr方案

DrScheme是Scheme的编程环境。它完全集成了一个图形丰富的编辑器、一个用于多种方案变体的解析器、一个功能性的read eval打印循环和一个代数打印机。这个环境对学生特别有用,因为它有一个在句法上受限制的方案变体,旨在捕捉典型的学生错误,并用学生理解的术语解释它们。这个环境对于专业程序员也很有用,因为它有复杂的编程工具,比如静态调试器,以及它的高级语言特性,比如单元和mixin。除了普通的编程环境工具之外,DrScheme还提供了一个代数步进器、一个上下文敏感的语法检查器和一个静态调试器。stepper根据Scheme的约简语义,将Scheme程序还原为值。它有助于解释语言工具的语义和研究小程序的行为。语法检查器根据程序的语法结构对程序进行字体和颜色更改的注释。根据需要,它会绘制箭头,从标识符的绑定到绑定实例。它还支持α-重命名。最后,静态调试器提供了一个类型推理系统,该系统以值流图的形式解释特定的推理,并选择性地覆盖在程序文本上。


zbMATH中的参考文献(参考 30篇文章,1标准件)

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. Morazán,Marco T.:使用功能性视频游戏向基于HtDP的CS1注入分布式编程(2018)
  2. Pavlov,Dmitry A.;Williams,James G.;Suvorkin,Vladimir V.:使用GRAIL和IERS推荐模型从LLR观测中确定月球轨道和旋转运动的参数(2016年)
  3. Tirronen,Ville;Uusi-Mäkelä,Samuel;Isomöttönen,Ville:理解初学者对Haskell的错误(2015)
  4. Caleb Eggensperger:Proof Pad:ACL2的新开发环境(2013)阿尔十四
  5. Nipkow,Tobias:用证明助手教授语义:不再使用LSD trip proof(2012)
  6. macros Ephia,2010年
  7. Degen,Markus;Thiemann,Peter;Wehr,Stefan:对按价值和按名称调用评估的急切和延迟的合同监控(2010年)
  8. Stump,Aaron:直接反射式元编程(2010)
  9. Hindle,Abram;Godfrey,MichaelW.;Holt,Richard C.:边读边读:使用缩进按复杂程度排列修订(2009)
  10. Owens,Scott;Reppy,John;Turon,Aaron:正则表达式导数重新检查(2009)
  11. Dillinger,Peter C.;Manolios,Panagiotis;Vron,Daron;Moore,J Strother:ACL2:“ACL2轿车”(2007)
  12. Krishnamurthi,Shriram;Hopkins,Peter Walton;McCarthy,Jay;Graunke,Paul T.;Pettyjohn,Greg;Felleisen,Matthias:PLT方案web服务器的实现和使用(2007)
  13. 纪尧姆·马索;格雷戈里H.库珀;斯皮罗,乔纳森·P.;克里希纳穆提,施里拉姆;赖斯,史蒂芬·P.:可脚本调试的数据流语言的设计与实现(2007)ioport公司
  14. Blume,Matthias;McAllester,David:健全和完整的合同模型(2006)
  15. Cooper,Gregory H.;Krishnamurthi,Shriram:在按值调用语言中嵌入动态数据流(2006)
  16. Christopher Dutchen;Tucker,David B.;Krishnamurthi,Shriram:高阶语言中方面的语义和范围界定(2006)
  17. Findler,Robert Bruce;Flatt,Matthew:幻灯片:功能演示(2006)
  18. 弗拉特,马修;芬德勒,罗伯特布鲁斯;费莱森,马提亚斯:计划与类,混合,和特征(2006)
  19. Philippe Meunier;Findler,Robert Bruce;Steckler,Paul;Wand,Mitchell:选择器使基于集合的分析变得太难(2005)
  20. Wagenknecht,Christian:编程范例。基于方案的介绍。(2004年)