PLT Redex公司

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