4725 search results - page 23 / 945 » Dependence-Based Program Analysis |
ICSOC
2010
Springer
13 years 6 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...
SIGSOFT
1994
ACM
14 years 14 days ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
LOPSTR
1994
Springer
14 years 15 days ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...