Oracle Semantics for Concurrent Separation Logic
Oracle Semantics for Concurrent Separation Logic
2009年10月31日
Microsoft
Oracle Semantics for Concurrent Separation Logic
Oracle Semantics for Concurrent Separation Logic
2010年8月5日
Microsoft
Sound regular expression semantics for dynamic symbolic execution of JavaScript | Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Sound regular expression semantics for dynamic symbolic e…
2019年12月30日
acm.org
An executable formal semantics of C with applications | Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An executable formal semantics of C with applications | Proceedings …
2019年12月30日
acm.org
Exploring C semantics and pointer provenance | Proceedings of the ACM on Programming Languages
Exploring C semantics and pointer provenance | Proceedings of the A…
2019年12月29日
acm.org
An executable formal semantics of C with applications | ACM SIGPLAN Notices
An executable formal semantics of C with applications | ACM SIGPLA…
2020年1月4日
acm.org
SEMANTICS-2: Justifying and Locating Semantics within Linguistics
10:20
SEMANTICS-2: Justifying and Locating Semantics within Linguis…
已浏览 11.7万 次2017年9月22日
YouTubeDr. Nimer Abusalim (The University of Jordan)
14:58
SEM101 - Word Semantics
已浏览 8.4万 次2012年9月14日
YouTubeThe Virtual Linguistics and Literature Campus
16:35
SEM101 - Semantics - An Overview
已浏览 14.5万 次2013年3月11日
YouTubeThe Virtual Linguistics and Literature Campus
12:39
Lexical Semantics
已浏览 16.3万 次2020年9月24日
YouTubeEvan Ashworth
2:31
Software Semantic Errors
已浏览 1.5万 次2018年1月4日
YouTubeTutorialsPoint
13:10
Move Semantics in C++
已浏览 35.4万 次2020年5月29日
YouTubeThe Cherno
14:28
SEM141 - Speech Acts - An Overview
已浏览 21.5万 次2012年9月16日
YouTubeThe Virtual Linguistics and Literature Campus
5:27
What is semantics?
已浏览 7.3万 次2020年12月16日
YouTubeAze Linguistics
15:30
16. Semantic Analysis: Introduction
已浏览 7505 次2021年3月8日
YouTubeNicolas “Norswap” Laurent
27:29
Semantic Analysis in Natural Language Processing
已浏览 1.8万 次2020年4月20日
YouTubeVIVA Institute of Technology Computer Engg D…
23:52
The Semantic Web - An Overview
已浏览 11.3万 次2011年4月23日
YouTubePeter WebExplorations
12:15
Operation on Processes – Process Creation
已浏览 41万 次2018年7月27日
YouTubeNeso Academy
4:14
Learn C++ Programming | Syntax Vs Semantics
已浏览 5699 次2020年9月4日
YouTubeShmeowlex
10:39
Semantics: Crash Course Linguistics #5
已浏览 42.1万 次2020年10月9日
YouTubeCrashCourse
3:21
What is Semantic HTML?
已浏览 9185 次2020年7月7日
YouTubeChristina Carrasquilla
5:34
Semantics and Pragmatics / Overview (Clip 1)
已浏览 7.7万 次2019年7月23日
YouTubeBoonjeera Chiravate
2:23
15 Knowledge representation using semantic network
已浏览 3.1万 次2019年12月18日
YouTubeOU Education
4:59
Colourful Semantics Lesson 3: Using Adjectives
已浏览 5619 次2021年2月18日
YouTubeSimply_Semantics
2:34
Syntax Vs Semantics - Programming Languages
已浏览 13万 次2012年6月3日
YouTubeUdacity
21:05
Semantics: Intro to Linguistics [video 8]
已浏览 4.8万 次2020年4月4日
YouTubeFingtam Languages
8:23
SEMANTICS-1: What is Semantics?
已浏览 59.3万 次2017年9月18日
YouTubeDr. Nimer Abusalim (The University of Jordan)
6:30
An Introduction to the Semantic Web
已浏览 11.8万 次2016年3月7日
YouTubeCambridge Semantics
17:22
C Language Source Code to Exe | Build Process | Compilation, PreP…
已浏览 22.7万 次2017年12月11日
YouTubeLearningLad
观看更多视频
静态缩略图占位符