使用嵌入式解释器类型和变量的基于解释器的程序语言翻译器

摘要

编程语言被扩展成具有嵌入式解释类型(EIT)，这些EIT定义在翻译时要解析的对象和变量。具有这些EIT之一的类型的变量或数据元被称为嵌入式解释变量(EIV)。在翻译时解释(即，执行)包含EIV的控制结构。

主权项

一种用于将计算机程序自动翻译成计算机可执行形式的方法，所述方法包括：提供用输入计算机语言表达的输入计算机程序，其中所述输入计算机语言包括在运行时要评估的语言元素或结构的第一数据类型集合、以及在翻译时要评估的语言元素或结构的第二数据类型集合，并且其中所述输入计算机程序包括具有所述第一数据类型集合中的类型的至少一个元素或结构并且包括具有所述第二数据类型集合中的类型的至少一个元素或结构；将所述输入计算机程序自动翻译成计算机可执行输出表示，其中在所述自动翻译期间评估具有所述第二数据类型集合中的类型的至少一个元素或结构；以及提供所述计算机可执行输出表示作为输出，其中，根据语言元素或结构的数据类型来确定在翻译时对所述语言元素或结构的评估以及在运行时对所述语言元素或结构的评估，将所述输入计算机程序自动翻译成计算机可执行输出表示包括将所述输入计算机程序翻译成中间表示，并且其中所述中间表示只包括在运行时要评估的结构，以及其中运算符的翻译时评估包括：确定向所述运算符提供的自变量类型，其中至少一种所述自变量类型在所述自动翻译期间被评估为类型值；提供具有与所确定的自变量类型相一致的输入自变量类型的所述运算符的版本。