4722 search results - page 365 / 945 » Representation-independent program analysis |
219
click to vote
WOMPAT
2004
Springer
16 years 8 hour ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
143
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
186
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
176
click to vote
JSW
2008
15 years 6 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
166
click to vote
CC
2007
Springer
16 years 26 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...