The Formal Semantics of Programming Languages
pdf格式.
2022-10-03 15:39:50
6.24MB
1
信息检索：基于知识图谱和深度学习的文本表示和搜索(Explicit and distributed semantics for text representation and retrieval)-附件资源
2021-12-24 11:40:32
106B
1
该项目包含THUNLP开发的HowNet和OpenHowNet API的核心数据，它提供了一种方便的方式来搜索HowNet中的信息，显示字素树，通过字素计算单词相似度等。您还可以访问我们的以享受搜索和展示字母的字素的乐趣。在线单词。
如果您在研究中使用OpenHowNet提供的任何数据或API，请引用以下论文：
@article{qi2019openhownet,
title={OpenHowNet: An Open Sememe-based Lexical Knowledge Base},
author={Qi, Fanchao and Yang, Chenghao and Li
2021-12-07 13:21:32
111.7MB
1
3D-FRONT: 3D Furnished Rooms with layOuts and semaNTics
2021-10-28 16:44:06
461KB
1
Author: Glynn Winskel
The MIT Press
2021-10-17 20:53:42
6.24MB
1
The Formal Semantics of Programming Languages - An Introduction
2021-09-26 22:29:01
6.24MB
1
附件是英文版的。
这是 Bjarne Stroustrup 的一篇论文。要小心，因为这非常困难。
2021-09-03 18:08:05
160KB
1
本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为专业，却是一本非常优秀的关于形式化语义的教材！
2021-09-01 00:37:52
6.12MB
1
给出了python语言的形式化的语义的定义，便于严格的给出python语言的定义和编译器的自动构建
2021-08-12 18:01:47
215KB
1