首页>外文会议>ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

召开年：2001
召开地：Snowbird, UT(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An overview of BLOOM

机译：布卢姆概述
- 作者：Steven P. Reiss
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
2.Pointer analysis

机译：指针分析
- 作者：Michael Hind
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
3.Bebop

机译：比波普
- 作者：Thomas Ball;Sriram K. Rajamani
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
4.Economics of software verification

机译：软件验证的经济学
- 作者：Gerard J. Holzmann
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
- testing;
5.Making slicing practical

机译：使切片实用
- 作者：William G. Griswold
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
- program slicing;
6.Contextual def-use associations for object aggregation

机译：上下文的def-use关联用于对象聚合
- 作者：Amie L. Souter;Lori L. Pollock
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
7.Evaluating explicitly context-sensitive program slicing

机译：显式评估上下文相关程序切片
- 作者：Gagan Agrawal;Liang Guo
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
8.Type-based analysis and applications

机译：基于类型的分析和应用
- 作者：Jens Palsberg
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
9.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;
10.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;
11.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年
12.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年
13.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;
14.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年
15.What is a class invariant?

机译：什么是类不变式？
- 作者：Adam Brooks Webber
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年
16.Detecting race conditions in large programs

机译：在大型程序中检测比赛条件
- 作者：Cormac Flanagan;Stephen N. Freund
- 会议名称：《ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering》 | 2001年