125 search results - page 8 / 25 » Splice: Aspects That Analyze Programs |
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
PRIMA
2009
Springer
14 years 1 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
HICSS
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
DELFI
2003
13 years 8 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...