掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
召开年:
1998
召开地:
Montreal(CA)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Software visualization in the desert environment
机译:
沙漠环境中的软件可视化
作者:
Steven P. Reiss
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
2.
A lightweight architecture for program execution monitoring
机译:
用于程序执行监视的轻量级体系结构
作者:
Clinton Jeffery
;
Wenyi Zhou
;
Kevin Templer
;
Michael Brazell
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
3.
Concept analysis---a new framework for program understanding
机译:
概念分析-程序理解的新框架
作者:
Gregor Snelting
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
4.
Experiments with combined analysis for pointer aliasing
机译:
结合分析进行指针别名实验
作者:
Sean Zhang
;
Barbara G. Ryder
;
William A. Landi
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
5.
OPTVIEW
机译:
视点
作者:
Caroline Tice
;
Susan L. Graham
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
6.
Detecting memory errors via static pointer analysis (preliminary experience)
机译:
通过静态指针分析检测内存错误(初步经验)
作者:
Nurit Dor
;
Michael Rodeh
;
Mooly Sagiv
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
7.
Static slicing of threaded programs
机译:
线程程序的静态切片
作者:
Jens Krinke
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
8.
Visualizing the performance of higher-order programs
机译:
可视化高阶程序的性能
作者:
Oscar Waddell
;
J. Michael Ashley
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
9.
An empirical investigation of program spectra
机译:
程序频谱的实证研究
作者:
Mary Jean Harrold
;
Gregg Rothermel
;
Rui Wu
;
Liu Yi
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
10.
Recovering software architecture from multiple source code analyses
机译:
从多个源代码分析中恢复软件架构
作者:
Melissa P. Chase
;
Steven M. Christey
;
David R. Harris
;
Alexander S. Yeh
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
11.
Efficient composite data flow analysis applied to concurrent programs
机译:
适用于并发程序的高效复合数据流分析
作者:
Gleb Naumovich
;
Lori A. Clarke
;
Leon J. Osterweil
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
1998年
12.
Bebop
机译:
BEBOP.
作者:
Thomas Ball
;
Sriram K. Rajamani
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
13.
Detecting race conditions in large programs
机译:
在大型计划中检测竞争条件
作者:
Cormac Flanagan
;
Stephen N. Freund
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
14.
Contextual def-use associations for object aggregation
机译:
对象聚合的上下文渗入关联
作者:
Amie L. Souter
;
Lori L. Pollock
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
15.
Evaluating explicitly context-sensitive program slicing
机译:
评估明确的上下文敏感程序切片
作者:
Gagan Agrawal
;
Liang Guo
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
16.
Dynamic points-to sets
机译:
动态点 - 设置
作者:
Markus Mock
;
Manuvir Das
;
Craig Chambers
;
Susan J. Eggers
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
关键词:
program understanding;
17.
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java
机译:
扩展和评估流量 - 不敏感的和上下文不敏感点 - 以分析Java
作者:
Donglin Liang
;
Maikel Pennings
;
Mary Jean Harrold
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
18.
Pointer analysis
机译:
指针分析
作者:
Michael Hind
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
19.
Type-based analysis and applications
机译:
基于类型的分析和应用
作者:
Jens Palsberg
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
20.
Change impact analysis for object-oriented programs
机译:
更改面向对象程序的影响分析
作者:
Barbara G. Ryder
;
Frank Tip
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
21.
Economics of software verification
机译:
软件验证经济学
作者:
Gerard J. Holzmann
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
关键词:
testing;
22.
The code of many colors
机译:
许多颜色的代码
作者:
Dean F. Sutherland
;
Aaron Greenhouse
;
William L. Scherlis
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
race conditions;
23.
Monitoring deployed software using software tomography
机译:
使用软件断层扫描监控部署的软件
作者:
Jim Bowring
;
Alessandro Orso
;
Mary Jean Harrold
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
tomographic refinement;
24.
STEP
机译:
步
作者:
Rhodes Brown
;
Karel Driesen
;
David Eng
;
Laurie Hendren
;
John Jorgensen
;
Clark Verbrugge
;
Qin Wang
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
sequential data encoding;
25.
Flow equations as a generic programming tool for manipulation of attributed graphs
机译:
流量方程作为用于操纵归属图形的通用编程工具
作者:
John Fiskio-Lasseter
;
Michal Young
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
26.
Combining static and dynamic data in code visualization
机译:
组合代码可视化中的静态和动态数据
作者:
David Eng
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
visualization;
27.
Instruction-level reverse execution for debugging
机译:
用于调试的指令级反向执行
作者:
Tankut Akgul
;
Vincent J. Mooney
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
reverse execution;
28.
Selective path profiling
机译:
选择性道路分析
作者:
Taweesup Apiwattanapong
;
Mary Jean Harrold
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
static analysis;
29.
Using the observer design pattern for implementation of data flow analyses
机译:
使用观察者设计模式实现数据流分析
作者:
Gleb Naumovich
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
static analysis;
30.
Recompilation for debugging support in a JIT-compiler
机译:
重新编译在JIT-Compiler中调试支持
作者:
Mustafa M. Tikir
;
Jeffrey K. Hollingsworth
;
Guei-Yuan Lueh
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
关键词:
just-in-time compilation;
31.
How to write system-specific, static checkers in metal
机译:
如何在金属中编写特定于系统的静态检查器
作者:
Benjamin Chelf
;
Dawson Engler
;
Seth Hallem
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
32.
Invited Talk
机译:
邀请谈话
作者:
Gary T. Leavens
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
33.
Invited Talk
机译:
邀请谈话
作者:
Patrice Godefroid
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
34.
Invited Talk Static and dynamic analysis
机译:
邀请谈话静态和动态分析
作者:
Michael D. Ernst
;
PMichael D. Ernst
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
35.
Mock object creation for test factoring
机译:
模拟对象创建测试分解
作者:
David Saff
;
Michael D. Ernst
;
PDavid Saff
;
PMichael D. Ernst
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
unit testing;
36.
Evaluating the imprecision of static analysis
机译:
评估静态分析的不精确
作者:
Atanas Rountev
;
Scott Kagan
;
Michael Gibas
;
PAtanas Rountev
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
static analysis;
37.
Importance of heap specialization in pointer analysis
机译:
堆专业化在指针分析中的重要性
作者:
Erik M. Nystrom
;
Hong-Seok Kim
;
Wen-mei W. Hwu
;
PHong-Seok Kim
;
PWen-mei W. Hwu
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
pointer analysis;
38.
Efficient field-sensitive pointer analysis for C
机译:
C的有效场敏感指针分析
作者:
David J. Pearce
;
Paul H. J. Kelly
;
Chris Hankin
;
PPaul H. J. Kelly
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
set-constraints;
39.
Resolving and applying constraint queries on context-sensitive analyses
机译:
解决和应用关于上下文敏感分析的约束查询
作者:
James Ezick
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
static analysis;
40.
Dynamically inferring temporal properties
机译:
动态推断时间特性
作者:
Jinlin Yang
;
David Evans
;
PDavid Evans
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
temporal properties;
41.
An improved slicer for Java
机译:
java改进了切片机
作者:
Christian Hammer
;
Gregor Snelting
;
PChristian Hammer
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
static program slicing;
42.
Validation of assembler programs for DSPs
机译:
对DSP的汇编程序验证
作者:
Matthieu Martel
;
PMatthieu Martel
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
numerical accuracy;
43.
Elided conditionals
机译:
精选条件
作者:
Manos Renieris
;
Sebastien Chan-Tin
;
Steven P. Reiss
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
elision;
44.
The design and implementation of FIT
机译:
适合的设计与实现
作者:
Bruno De Bus
;
Dominique Chanet
;
Bjorn De Sutter
;
Ludo Van Put
;
Koen De Bosschere
;
PBruno De Bus
;
PDominique Chanet
;
PBjorn De Sutter
;
PLudo Van Put
;
PKoen De Bosschere
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2004年
关键词:
performance code abstraction;
45.
Making distributed systems secure with program analysis and transformation
机译:
使分布式系统安全地使用程序分析和转换
作者:
Andrew Myers
;
PAndrew Myers
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
46.
PASTE at Microsoft
机译:
粘贴在微软
作者:
Manuvir Das
;
PManuvir Das
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
47.
MonDe
机译:
世界
作者:
Jonathan Cook
;
Alessandro Orso
;
PJonathan Cook
;
PAlessandro Orso
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
48.
An empirical framework for comparing effectiveness of testing and property-based formal analysis
机译:
用于比较测试与物业的正式分析效能的实证框架
作者:
Jeremy S. Bradbury
;
James R. Cordy
;
Juergen Dingel
;
PJames R. Cordy
;
PJuergen Dingel
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
static analysis;
49.
Invariants and state in testing and formal methods
机译:
测试和正式方法中的不变性和状态
作者:
Dick Hamlet
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
50.
Automatically generating refactorings to support API evolution
机译:
自动生成重构以支持API演变
作者:
Jeff H. Perkins
;
PJeff H. Perkins
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
51.
Weakest-precondition of unstructured programs
机译:
非结构化计划的最薄弱 - 前提
作者:
Mike Barnett
;
K. Rustan M. Leino
;
PMike Barnett
;
PK. Rustan M. Leino
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
52.
Static control-flow analysis for reverse engineering of UML sequence diagrams
机译:
UML序列图逆向工程的静态控制流动分析
作者:
Atanas Rountev
;
Olga Volgin
;
Miriam Reddoch
;
PAtanas Rountev
;
POlga Volgin
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
53.
Low overhead program monitoring and profiling
机译:
低开销程序监控和分析
作者:
Naveen Kumar
;
Bruce R. Childers
;
Mary Lou Soffa
;
PNaveen Kumar
;
PMary Lou Soffa
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
profiling;
54.
Symbolic path simulation in path-sensitive dataflow analysis
机译:
路径敏感数据流分析中的符号路径仿真
作者:
Hari Hampapuram
;
Yue Yang
;
Manuvir Das
;
PYue Yang
;
PManuvir Das
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
symbolic simulation;
55.
LANCET
机译:
兰蔻
作者:
Ludo Van Put
;
Bjorn De Sutter
;
Matias Madou
;
Bruno De Bus
;
Dominique Chanet
;
Kristof Smits
;
Koen De Bosschere
;
PLudo Van Put
;
PBjorn De Sutter
;
PMatias Madou
;
PBruno De Bus
;
PDominique Chanet
;
PKoen De Bosschere
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
visualization;
56.
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
机译:
评估上下文敏感性对Andersen算法对Java程序的影响
作者:
Donglin Liang
;
Maikel Pennings
;
Mary Jean Harrold
;
PMary Jean Harrold
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
57.
Evaluating and tuning a static analysis to find null pointer bugs
机译:
评估和调整静态分析以找到空指针错误
作者:
David Hovemeyer
;
Jaime Spacco
;
William Pugh
;
PJaime Spacco
;
PWilliam Pugh
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
testing;
58.
Link-time static analysis for efficient separate compilation of object-oriented languages
机译:
用于对面向对象语言的有效单独编译的链路时间静态分析
作者:
Jean Privat
;
Roland Ducournau
;
PRoland Ducournau
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
59.
A concept analysis inspired greedy algorithm for test suite minimization
机译:
概念分析启发了测试套件最小化贪婪算法
作者:
Sriraman Tallam
;
Neelam Gupta
;
PNeelam Gupta
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
testing requirements;
60.
Representation-independent program analysis
机译:
表示无关的计划分析
作者:
Michelle Mills Strout
;
John Mellor-Crummey
;
Paul Hovland
;
PJohn Mellor-Crummey
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
61.
String analysis for x86 binaries
机译:
X86二进制文件的字符串分析
作者:
Mihai Christodorescu
;
Nicholas Kidd
;
Wen-Han Goh
;
PMihai Christodorescu
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
62.
SableSpMT
机译:
sablespmt.
作者:
Christopher J. F. Pickett
;
Clark Verbrugge
;
PClark Verbrugge
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
virtual machines;
63.
Generalizing symbolic execution to library classes
机译:
将符号执行概括为库类
作者:
Sarfraz Khurshid
;
Yuk Lai Suen
;
PSarfraz Khurshid
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2005年
关键词:
test input generation;
64.
Introducing natural language program analysis
机译:
介绍自然语言计划分析
作者:
Lori Pollock
;
K. Vijay-Shanker
;
David Shepherd
;
Emily Hill
;
Zachary P. Fry
;
Kishen Maloor
;
PLori Pollock
;
PDavid Shepherd
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
software tools;
65.
Enforcing and validating user-defined programming disciplines
机译:
强制执行和验证用户定义的编程学科
作者:
Brian Chin
;
Daniel Marino
;
Shane Markstrum
;
Todd Millstein
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
type-and-effect systems;
66.
Improving software quality with static analysis
机译:
通过静态分析提高软件质量
作者:
Jeffrey S. Foster
;
Michael W. Hicks
;
William Pugh
;
PWilliam Pugh
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
software quality;
67.
Comparing call graphs
机译:
比较呼叫图
作者:
Ondamp
;
#8744
;
rej Lhotak
;
Ond∨rej Lhotak
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
static analysis;
68.
Finding more null pointer bugs, but not too many
机译:
找到更多空指针错误,但不是太多
作者:
David Hovemeyer
;
William Pugh
;
PWilliam Pugh
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
static analysis;
69.
An overview of the saturn project
机译:
土星项目概述
作者:
Alex Aiken
;
Suhabe Bugrara
;
Isil Dillig
;
Thomas Dillig
;
Brian Hackett
;
Peter Hawkins
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
verification;
70.
Refining buffer overflow detection via demand-driven path-sensitive analysis
机译:
通过需求驱动的路径敏感分析精炼缓冲区溢出检测
作者:
Wei Le
;
Mary Lou Soffa
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
path-sensitive;
71.
Light context-sensitive points-to analysis for java
机译:
光的上下文敏感点 - java分析
作者:
Ana Milanova
;
PAna Milanova
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
points-to analysis;
72.
Case study
机译:
案例分析
作者:
David Shepherd
;
Lori Pollock
;
K. Vijay-Shanker
;
PDavid Shepherd
;
PLori Pollock
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
program analysis;
73.
AWE
机译:
或者
作者:
Ruben E. Brown
;
Roger Khazan
;
Michael Zhivich
;
PRoger Khazan
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
static analysis;
74.
Heap analysis in the presence of collection libraries
机译:
在收集库的存在下堆分析
作者:
Mark Marron
;
Darko Stefanovic
;
Manuel Hermenegildo
;
Deepak Kapur
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
static analysis;
75.
Interstatement must aliases for data dependence analysis of heap locations
机译:
壁垒必须别名进行堆位置的数据依赖性分析
作者:
Ju Qian
;
Baowen Xu
;
Hongbo Min
;
PBaowen Xu
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
pointer analysis;
76.
Evaluating static analysis defect warnings on production software
机译:
评估生产软件上的静态分析缺陷警告
作者:
Nathaniel Ayewah
;
William Pugh
;
J. David Morgenthaler
;
John Penix
;
YuQian Zhou
;
PWilliam Pugh
;
PJohn Penix
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
static analysis;
77.
Dynamic purity analysis for java programs
机译:
Java程序的动态纯度分析
作者:
Haiying Xu
;
Christopher J. F. Pickett
;
Clark Verbrugge
;
PClark Verbrugge
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
software metrics;
78.
Discovering accurate interclass test dependences
机译:
发现准确的委员会测试依赖项
作者:
Weilei Zhang
;
Barbara G. Ryder
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2007年
关键词:
interclass test dependence;
79.
Making slicing practical
机译:
切片实用
作者:
William G. Griswold
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
关键词:
program slicing;
80.
What is a class invariant?
机译:
什么是阶级不变?
作者:
Adam Brooks Webber
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
81.
An overview of BLOOM
机译:
绽放概述
作者:
Steven P. Reiss
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
82.
Program analysis for safety guarantees in a Java virtual machine written in Java
机译:
Java中编写的Java虚拟机中安全保证的程序分析
作者:
Jan-Willem Maessen
;
Vivek Sarkar
;
David Grove
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
83.
vEC
机译:
已经
作者:
I. Kadayif
;
T. Chinoda
;
M. Kandemir
;
N. Vijaykirsnan
;
M. J. Irwin
;
A. Sivasubramaniam
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
关键词:
system energy consumption;
84.
Longitudinal program analysis
机译:
纵向计划分析
作者:
David Notkin
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
85.
Analysis issues for cyclone
机译:
旋风分离器的分析问题
作者:
Greg Morrisett
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2002年
86.
Array resizing for scientific code debugging, maintenance and reuse
机译:
阵列调整科学代码调试,维护和重用的大小
作者:
Corinne Ancourt
;
Thi Viet Nga Nguyen
会议名称:
《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》
|
2001年
关键词:
reverse-engineering;
意见反馈
回到顶部
回到首页