4722 search results - page 34 / 945 » Representation-independent program analysis |
ICLP
2009
Springer
14 years 8 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
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
LOPSTR
1994
Springer
13 years 11 months 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...
ICFP
2000
ACM
14 years 1 days ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...