Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation
Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation
复制标题
利用引用和评估的语法推理框架
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Pouya Larjani
中科院分区：
文献类型：
--
作者：
W. Farmer;Pouya Larjani
如果不是必要的话，推理解释语言中表达式的句法结构通常是有用的（即，具有语义的语言）。本文介绍了一种数学结构，称为语法框架，旨在成为一个抽象的模型，一个系统的推理解释语言的语法。像许多具体的语法推理系统一样，语法框架包含解释语言中的表达式到表示表达式的语法结构的语法值的映射;用于推理语法值的语言;引用表达式的语法值的称为引用的机制;以及引用由语法值表示的表达式的值的称为求值的机制。语法框架提供了将关于表达式的语法的推理与关于表达式的含义的推理集成的基础。语法框架的概念用于讨论如何将引用和评估构建到语言中，并定义什么是准引用。语法框架的几个例子。
It is often useful, if not necessary, to reason about the syntactic structure of an expression in an interpreted language (i.e., a language with a semantics). This paper introduces a mathematical structure called a syntax framework that is intended to be an abstract model of a system for reasoning about the syntax of an interpreted language. Like many concrete systems for reasoning about syntax, a syntax framework contains a mapping of expressions in the interpreted language to syntactic values that represent the syntactic structures of the expressions; a language for reasoning about the syntactic values; a mechanism called quotation to refer to the syntactic value of an expression; and a mechanism called evaluation to refer to the value of the expression represented by a syntactic value. A syntax framework provides a basis for integrating reasoning about the syntax of the expressions with reasoning about what the expressions mean. The notion of a syntax framework is used to discuss how quotation and evaluation can be built into a language and to define what quasiquotation is. Several examples of syntax frameworks are presented.