2957 search results - page 269 / 592 » Code analysis and CS-XML |
129
Voted
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
111
click to vote
SIGDOC
1992
ACM
15 years 8 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
131
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a language identification technique that detects Latin-based languages of imaged documents without OCR. The proposed technique detects languages through the wo...
160
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
138
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...