PLT Redex公司

语义工程与PLT Redex。本文是第一次在同一卷书中全面介绍归约语义学;它还为这种形式的语义介绍了第一个可靠且易于使用的工具集。软件工程师早就知道自动工具支持对于快速原型和建模是至关重要的,这本书是针对工作语义工程师(研究生或专业语言设计师)。这本书附带了一个原型工具套件来开发、探索、测试、调试和发布编程语言的语义模型。有了pltredex,语义学家可以在他们的计算机上用纸和铅笔把模型表示为语法和简化模型。本文首先介绍了语言模型的构造框架,重点介绍了等式计算和抽象机,然后介绍了PLT Redex,一套将这些模型表示为PLT Redex模型的软件工具。最后,专家们描述了Redex中的一系列模型。PLT Redex附带PLT方案实施,可在http://www.plt-scheme.org/。读者可以下载该软件并在阅读本书时使用Redex进行实验。欲了解更多信息(包括前言、教学大纲示例和Redex简介),请访问Redex网站url{http://redex.plt-scheme.org/}.


zbMATH中的参考文献(参考文献23条)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 本杰明·穆拉德;《语言转换的微积分》(2020)
  2. Ştefănescu,安德烈;首席执行官,斯特凡;梅雷塔,拉杜;摩尔,布兰登;罗şu,格里戈;Şerbă努ă,Traian Florin:全路径可达逻辑(2019)
  3. 范宾斯伯根,L.托马斯;莫斯,彼得D。;Sculthorpe,Neil:基于可执行组件的语义(2019)
  4. 比尔纳卡,玛格尔扎塔;查拉托尼克,威托德;杰林斯卡,克拉拉:广义重聚焦:从混合策略到抽象机器(2017)
  5. 切尼,詹姆斯;Alberto Momigliano:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  6. 吉本斯,杰里米:应用Naperian函子进行编程(2017)
  7. 新的,Max S。;费舍尔、伯克;芬德勒,罗伯特布鲁斯;麦卡锡,杰伊:公平计数组合(2017)
  8. Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016)
  9. 卡普里乔利,安德里亚;塞维托,马可;祖卡,埃琳娜:强制性的纯微积分(2016)
  10. 树桩,亚伦;傅鹏:总类型理论中lambda编码的效率(2016)
  11. 丹维,奥利弗;Johannsen,Jacob:从最外层的约简语义到抽象机器(2014)
  12. 库珀,林赛;图伦,亚伦;克里希纳斯瓦米,尼拉坎坦R。;Newton,Ryan R.:写后冻结,用LVars进行准确定性并行编程(2014)
  13. 范卡特森,汤姆;冈萨雷斯·博伊克斯,Elisa;学者,克里斯托夫;隆拜德卡雷顿,安多尼;哈尼,干了;品特,凯文;De Meuter,Wolfgang:Ambienttalk:使用参与者编程响应式移动对等应用程序(2014)ioport公司
  14. 圣爱慕,文森特;多伦多,尼尔:经验报告:将随机测试应用于基本类型环境(2013)ioport公司
  15. Zerny,Ian:在存在循环的情况下对图进行重写、简化和评估(2013)
  16. 张,斯蒂芬;以利,巴兹莱;克莱门茨,约翰;Felleisen,Matthias:从堆栈跟踪到延迟重写序列(2012)
  17. 弗拉特,马修;卡普珀,瑞安;达拉斯,大卫;Findler,Robert Bruce:《协同工作的宏》(2012)
  18. 梅林,马格努斯O。;Owens,Scott:基于高阶逻辑的ML的证明生成合成(2012)
  19. 罗şu,格里戈;Ştefănescu,Andrei:走向操作和公理语义的统一理论(2012)
  20. 范霍恩,大卫;May,Matthew:《抽象机器的系统抽象》(2012)