使用SHACL的程序代码类型检查Type Checking Program Code using SHACL |
|
课程网址: | http://videolectures.net/iswc2019_leinberger_program_code/ |
主讲教师: | Martin Leinberger |
开课单位: | 科布伦茨-兰道大学网络科学与技术研究所(西部) |
开课时间: | 2019-12-10 |
课程语种: | 英语 |
中文简介: | 使用SHACL的程序代码类型检查 |
课程简介: | Type Checking Program Code using SHACL |
关 键 词: | 使用SHACL; 程序代码类型; 代码类型检查 |
课程来源: | 视频讲座网 |
数据采集: | 2022-09-05:cyh |
最后编审: | 2022-09-05:cyh |
阅读次数: | 8 |