1929 search results - page 153 / 386 » Change Propagation Analysis Using Domain Information |
135
Voted
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
121
click to vote
BTW
2005
Springer
15 years 9 months ago
2005
Springer
: Knowledge about market developments and competitor activities on the market becomes more and more a critical success factor for enterprises. The World Wide Web provides public do...
129
click to vote
SCANGIS
2003
15 years 5 months ago
2003
The paper describes a concept for GIS based terrain mobility modelling and optimization of off-road route. The concept of generation of cost surface is based on machine, terrain, ...
125
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In textual knowledge management, statistical methods prevail. Nonetheless, some difficulties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
251
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...