1403 search results - page 62 / 281 » Quantitative Interprocedural Analysis |
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
PPOPP
1993
ACM
15 years 3 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
104
click to vote
ISSTA
2000
ACM
15 years 3 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
EUROMED
2010
14 years 9 months ago
2010
Abstract. Scientists and conservators, involved in cultural heritage documentation management, have to furnish not only qualitative but also quantitative description of the assessm...
INFORMATICALT
2008
14 years 11 months ago
2008
We investigate applicability of quantitative methods to discover the most fundamental structural properties of the most reliable political data in Lithuania. Namely, we analyze vot...