工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 人工智能 计算机系统结构 计算机软件 计算机工程 计算机应用 计算机科学技术其他学科
搜索结果: 1-15 共查到计算机科学技术 表达式相关记录82条 . 查询时间(0.411 秒)
近日,中国科学院软件研究所在支持编程语言中正则表达式非经典特性的字符串约束求解研究方面取得进展,提出了带权重的流字符串转换器的新自动机模型,对正则表达式的非经典特性进行形式建模,并根据该模型设计了新的字符串约束求解算法,研制了国际上第一个支持对编程语言中正则表达式非经典特性进行推理的字符串约束求解器OSTRICH,其研究成果被编程语言国际顶级会议POPL 2022录用。
近日,中国科学院软件研究所研究员陈海明团队在正则表达式拒绝服务攻击(ReDoS)漏洞检测与修复技术研究中取得重要进展,设计研发出当前最先进的ReDoS漏洞检测工具——ReDoSHunter,提出首个抗ReDoS漏洞正则表达式修复工具——FlashRegex,不仅解决了静态与动态ReDoS检测工具的局限性,实现了正则表达式修复结果无ReDoS漏洞的进展,而且在性能上大幅提升且全面超越了ReDoS漏洞...
华南理工大学C++程序设计课件第一章 基本数据与表达式
中国科学技术大学C语言程序设计课件第二章 数据类型、运算符和表达式 数据、类型、运算符、表达式

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...