4722 search results - page 606 / 945 » Representation-independent program analysis |
176
click to vote
VDA
2010
15 years 9 months ago
2010
The analysis of binary data remains a challenge, especially for large or potentially inconsistent files. Traditionally, hex editors only make limited use of semantic information a...
156
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
166
click to vote
EMNLP
2006
15 years 8 months ago
2006
Co-occurrence analysis has been used to determine related words or terms in many NLP-related applications such as query expansion in Information Retrieval (IR). However, related w...
142
click to vote
IAAI
2003
15 years 8 months ago
2003
This paper describes a deployed educational technology application: the CriterionSM Online Essay Evaluation Service, a web-based system that provides automated scoring and evaluat...
162
click to vote
COODBSE
1994
15 years 8 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...