1911 search results - page 203 / 383 » Program analysis for code duplication in logic programs |
168
Voted
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
158
Voted
PLDI
2006
ACM
16 years 3 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
142
Voted
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
168
click to vote
LCTRTS
1999
Springer
15 years 10 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
139
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...