位置：成果数据库 > 期刊 > 期刊详情页
A Survey of Semantic Description Frameworks for Programming Languages
  • ISSN号：0362-1340
  • 期刊名称：ACM SIGPLAN Notices
  • 时间：0
  • 页码：14-30
  • 语言：英文
  • 相关项目：基于模块单子语义的程序切片及其关键技术研究
作者： Baowen Xu| Yingzhou Zhang|
同期刊论文项目
基于模块单子语义的程序切片及其关键技术研究
期刊论文 44 会议论文 15
同项目期刊论文
面向卫星网络的扩频多址接入控制方法
一种防止缓冲区溢出的整数溢出检测方法
Automatic Testing of Web Services in Haskell Platform
电子数据取证的可信固定方法
一种基于IBE的WSNs选择转发攻击检测方案
一种基于函数依赖图的构件抽取方法
Contribution-Based Call Stack Abstraction for Call String Based Pointer Analysis
A new construction of leakage-resilient signature
Program Slicing Based Buffer Overflow Detection
含指针程序的单子切片方法
基于匈牙利匹配算法的钓鱼网页检测方法
Web Service Generation through Program Slicing
A Monadic Program Slicer
一种计算机数据取证有效性的研究方法
一种基于联想记忆神经网络的单训练样本人脸识别算法
基于CSP的进程行为取证方法研究
基于瀑布模型的可信取证方法
A Network Forensics System Bypassing Web Local Encrypting Businesses
一种基于操作请求图的Web服务入侵检测方法
一种自动验证Web应用预期页面的方法
并发程序切片方法综述
含过程程序的单子切片(英文)
一种组合式基于调用栈的程序切片方法
Stable Initialization Scheme for K-Means Clustering
Research Progress of Trust Evaluation Model
ISTC： A New Method for Clustering Search Results
一种web应用回归测试的测试用例选择执行方法
数据结构课程教学模式的研究
一种计算机数据取证有效性的证明方法
有界恢复模型下弹性泄露签名的新构造
一种基于改进流形学习方法的云计算入侵检测模型
基于BLS签名的弹性泄露签名方案(英文)
一种基于P2P环境的全局信任管理模型
基于XML的SDK自动化测试框架的设计与实现
毕业设计文档管理技术探索及实践
含过程程序的单子切片
AN EFFICIENT SIGNATURE SCHEME FROM CATALANO＇S TRAPDOOR
矩阵奇异值分解及其在高维数据处理中的应用
网络分析仪在网络流量监测中的应用