程序语言的语法和语义一种基于实验室的方法Syntax and Semantics of Programming Languages A Laboratory B
以离散数学的基础为基础,向学生简要介绍形式语义。
用户评论
推荐下载
-
数据语法和语义编程语言建模简介Data Syntax and Semantics An Introduction to Modelling Program
编程语言的数学理论简介。 读者将需要有关基础知识,逻辑和命令式编程的第一门课程作为背景知识。
16 2020-08-06 -
指称语义语言发展的一种方法论Denotational Semantics A Methodology for Language Development
介绍一种为编程语言和系统赋予数学含义的方法。 从工程的角度提出主题,强调描述和实现方面。
8 2020-08-06 -
基于Javaweb的实验室管理实验室.zip
环境: eclipse :配置tomcat:http://programmer.ischoolbar.com/index.php/article/article/id/10.html jdk7和jdk
49 2020-08-21 -
一种无线传感器网络的生物实验室的实现
随着国家对科研的重视和支持,中国的科研条件已经有了很大的改善,生物实验室的现代化水平也在不断提高,拥有很多昂贵、精密的仪器设备,因此对实验室的火、电等安全性能要求很高。另一方面,很多生物样品和数据具有
6 2020-10-28 -
一种类似于程序语言的vhdl代码
好的东西哦!希望大家多看看哦。因为知识是人类进步的阶梯!~~~~~~~~~~
27 2019-01-18 -
词法分析和程序语言的语法描述讲义
主要讲解词法分析和简单的语法描述,老师的精心之作,适合刚接触的新手使用。
36 2019-04-19 -
基于labview的虚拟实验和远程实验室研究
这一基于计算机的数据采集系统,是由模拟量、数字量调理电路,数据采集卡和计算机几部分组成。
31 2019-01-08 -
论文研究一种基于Mealy机的语义程序验证方法.pdf
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体BDO的基础上,提出了一种基于Mealy!机对SPL所编排的业务
18 2019-07-27 -
基于labview和matlab虚拟实验室的实现
labview和matlab混合编程,结合实例详细介绍labview与Matlab进行混合编程,达到了利用Matlab优化算法库的目的。
29 2019-03-02 -
一种基于语义本体的网络爬虫模型
针对传统通用网络爬虫的自身固有的缺陷,结合本体的相关理论,提出了一种基于语义本体的网络爬虫的相关模型。
37 2019-09-05
暂无评论