6201 search results - page 1128 / 1241 » Implementation of Axiomatic Language |
140
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
140
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
156
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
173
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
158
click to vote
WEBDB
2009
Springer
15 years 11 months ago
2009
Springer
Linguists and geographers are more and more interested in route direction documents because they contain interesting motion descriptions and language patterns. A large number of s...