请说明大步语义,小步语义的区别,请说明 Call by reference, Call by value的区别,- 理解命令式语言**存储模型** - 写出函数`setSto` `getSto` 的类型声明 - 请说明 命令式语言与函数式语言**执行模型**的不同之处,- 请说明 存储 Store 与 环境 Env 的区别 - 请说明 抽象语法树中 对**左值和右值**的表示方式 - 请说明 表达式`a[i] + x` **左值求值**和**右值求值**的过程,需要调用解释器的哪些方法

时间: 2023-07-23 19:21:46 浏览: 66
1. 大步语义和小步语义的区别: 大步语义是对程序整体进行求值,直到得到最终的结果;而小步语义则是对程序逐步进行求值,每一步都给出一个中间结果,直到得到最终结果。大步语义更关注程序的整体语义,而小步语义则更关注程序的细节。 2. Call by reference和Call by value的区别: 在Call by reference中,函数参数的值是实参变量的内存地址,函数内部可以直接修改实参变量的值;而在Call by value中,函数参数的值是实参变量的值的副本,函数内部修改参数的值不会影响实参变量的值。 3. 命令式语言存储模型: 命令式语言的存储模型通常包括栈和堆两个部分。栈用于存储函数调用时的参数、局部变量和返回地址等信息;堆用于存储动态分配的内存,例如通过new操作符申请的内存。 4. 函数setSto和getSto的类型声明: ``` void setSto(int* addr, int val); int getSto(int* addr); ``` 5. 命令式语言与函数式语言执行模型的不同之处: 命令式语言的执行模型是基于状态的,程序的执行是通过改变状态来实现的;而函数式语言的执行模型则是基于表达式的,程序的执行是通过对表达式进行求值来实现的。函数式语言通常不允许改变状态,因此具有良好的可重用性和可维护性。 6. 存储Store与环境Env的区别: 存储Store是程序运行时保存变量值的数据结构;而环境Env则是程序运行时维护的变量名和变量值的映射表。Store是基于物理存储的,而Env是基于逻辑名称的。 7. 抽象语法树中对左值和右值的表示方式: 抽象语法树中通常用变量名表示左值,用常量或表达式表示右值。 8. 表达式a[i]+x左值求值和右值求值的过程,需要调用解释器的哪些方法: 左值求值需要调用解释器的getSto方法,该方法返回数组a中下标为i的元素的地址;右值求值需要调用解释器的getSto方法两次,分别返回数组a中下标为i的元素的值和变量x的值,然后将这两个值相加。

相关推荐

最新推荐

recommend-type

NCV6X-语义模型红皮书.docx

NC6系列UAP语义模型技术红皮书 第一章 前言 4 1.1 概念 5 1.2 定位 5 第二章 结构 6 2.1 应用模型 7 2.2 语义模型 7 2.2.1 定义形态 7 2.2.2 执行流程 9 2.2.3 数据形态 10 2.3 语义提供者 10 2.3.1 接口...
recommend-type

<语义网络与知识图谱》实验三 本体建模与本体语言OWL.docx

目的: (1) 熟悉本体建模工具Protégé,并掌握用Protégé建立本体模型; (2) 了解和熟悉OWL语言的基本语法,掌握采用OWL语言进行本体描述。
recommend-type

《语义网与知识图谱》实验手册 实验四 描述逻辑及语义

(1) 熟悉描述逻辑的基本语法,并掌握利用描述逻辑进行知识表示的方法。 (2) 了解描述逻辑的简单推理。
recommend-type

语义分割神经网络ENet

语义分割神经网络ENet: A Deep Neural Network Architecture for Real-Time Semantic Segmentation
recommend-type

基于GNN的语义分割.docx

基于GNN图神经网络的语义分割,是2020年收录的一篇将图神经网络与语义分割结合起来的论文 
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

实现实时数据湖架构:Kafka与Hive集成

![实现实时数据湖架构:Kafka与Hive集成](https://img-blog.csdnimg.cn/img_convert/10eb2e6972b3b6086286fc64c0b3ee41.jpeg) # 1. 实时数据湖架构概述** 实时数据湖是一种现代数据管理架构,它允许企业以低延迟的方式收集、存储和处理大量数据。与传统数据仓库不同,实时数据湖不依赖于预先定义的模式,而是采用灵活的架构,可以处理各种数据类型和格式。这种架构为企业提供了以下优势: - **实时洞察:**实时数据湖允许企业访问最新的数据,从而做出更明智的决策。 - **数据民主化:**实时数据湖使各种利益相关者都可
recommend-type

可见光定位LED及其供电硬件具体型号,广角镜头和探测器,实验设计具体流程步骤,

1. 可见光定位LED型号:一般可使用5mm或3mm的普通白色LED,也可以选择专门用于定位的LED,例如OSRAM公司的SFH 4715AS或Vishay公司的VLMU3500-385-120。 2. 供电硬件型号:可以使用常见的直流电源供电,也可以选择专门的LED驱动器,例如Meanwell公司的ELG-75-C或ELG-150-C系列。 3. 广角镜头和探测器型号:一般可采用广角透镜和CMOS摄像头或光电二极管探测器,例如Omron公司的B5W-LA或Murata公司的IRS-B210ST01。 4. 实验设计流程步骤: 1)确定实验目的和研究对象,例如车辆或机器人的定位和导航。
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。