692 search results - page 48 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
119
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
ICSE
2009
IEEE-ACM
16 years 19 days ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
SAS
1994
Springer
15 years 3 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...