Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
复制标题

使用 PLT Redex 进行语义工程

DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Flatt
M. Flatt
中科院分区：
--
文献类型：
--
作者：
M. Felleisen;R. Findler;M. Flatt

文献摘要

被引文献

相似文献

本文是一卷中还原语义的第一个全面介绍。它还引入了第一个可靠且易于使用的工具集，用于此类语义形式。长期以来，软件工程师已经知道自动工具支持对于快速原型和建模至关重要，这本书涉及工作语义工程师（研究生或专业语言设计师）。该书配备了一个原型工具套件，用于开发，探索，测试，调试和发布编程语言的语义模型。使用PLT Redex，语义学家可以易于纸和铅笔在计算机上以语法和减少模型来制定模型。本文首先提出了一个语言模型的框架，专注于方程式计算机和抽象机，然后引入PLT Redex，这是一套用于将这些模型表示为PLT Redex模型的软件工具。最后，专家描述了在Redex中配制的一系列模型。 PLT Redex随附PLT方案实施，可在http://www.plt-scheme.org/上免费获得。读者可以下载软件，并在雷德克斯（Redex）通过本书进行实验。有关更多信息（包括序言，示例教学大纲和快速介绍Redex），请参见Redex网站http://redex.plt-scheme.org/。 Matthias Felleisen，Robert Bruce Findler和Matthew Flatt是如何设计程序的作者（与Shiram Krishnamurthi一起）：也由麻省理工学院出版社（MIT Press）发表的编程和计算概论。
This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book. For more information (including the preface, a sample syllabus, and a quick introduction to Redex), see the Redex website at http://redex.plt-scheme.org/. Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt are the authors (with Shiram Krishnamurthi) of How to Design Programs: An Introduction to Programming and Computing, also published by the MIT Press.