1911 search results - page 273 / 383 » Program analysis for code duplication in logic programs |
146
click to vote
KBSE
2010
IEEE
15 years 29 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
131
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
159
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
101
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
113
click to vote
AAECC
1999
Springer
15 years 2 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...