PLT Redex公司

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


zbMATH参考文献(参考 23篇文章

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 本杰明·穆拉德;马蒂奥·西米尼:语言转换的微积分(2020)
  2. Ştefănescu,Andrei;Ciob–căStefan;Mereuta,Radu;Moore,Brandon;Roşu,Grigore;Şerbănuṭă,Traian Florin:全路径可达逻辑(2019)
  3. van Binsbergen,L.Thomas;Mosses,Peter D.;Sculthorpe,Neil:《基于组件的可执行语义》(2019)
  4. Biernacka,Małgorzata;Charatonik,Witold;Jeelinska,Klara:广义重聚焦:从混合策略到抽象机器(2017)
  5. Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017)
  6. 吉本斯,杰里米:应用Naperian函子进行编程(2017)
  7. New,Max S.;Fetscher,Burke;Findler,Robert Bruce;Mccarthy,Jay:公平枚举组合(2017)
  8. Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016)
  9. Andrea Capriccioli;Marco Servetto;Zuca,Elena:命令式纯演算(2016)
  10. Stump,Aaron;Fu,Peng:总类型理论中lambda编码的效率(2016)
  11. Danvy,Olivier;Johannsen,Jacob:从最外层的约简语义到抽象机器(2014)
  12. Aron Turantar,Parallely programming;Aron Turnear,2014;Parallely programming;Aron-Kuantar,2014;Parallely-Kuantar,2014)
  13. Van Cutsem,Tom;Gonzalez Boix,Elisa;Scholliers,Christophe;Lombide Carreton,Andoni;Harnie,Dries;Pinte,Kevin;De Meuter,Wolfgang:Ambienttalk:用演员编程响应式移动对等应用程序(2014)ioport公司
  14. 圣爱慕,文森特;多伦多,尼尔:经验报告:在基本类型环境中应用随机测试(2013)ioport公司
  15. Zerny,Ian:在存在循环的情况下对图进行重写、简化和评估(2013)
  16. Stephen Chang;Eli Barzilay;Clements,John;Felleisen,Matthias:从堆栈跟踪到延迟重写序列(2012)
  17. 马修·弗拉特(Matthew)弗拉特(Flatt);瑞安·卡普珀(Culpepper);大卫·达莱斯(Darais),罗伯特·布鲁斯(Robert Bruce):协同工作的宏(2012)
  18. Myreen,Magnus O.;Owens,Scott:基于高阶逻辑的ML的证明生成合成(2012)
  19. Roşu,Grigore;Ştefănescu,Andrei:走向操作和公理语义的统一理论(2012)
  20. Van Horn,David;May,Matthew:《抽象机器的系统抽象》(2012)