1016 search results - page 90 / 204 » Automatic Analysis of Programming Assignments |
111
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
130
Voted
LFCS
1992
Springer
15 years 7 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
122
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Gene expression studies increasingly compare expression responses between different experimental backgrounds (genetic, physiological, or phylogenetic). By focusing on ...
114
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: The large amount of completely sequenced genomes allows genomic context analysis to predict reliable functional associations between prokaryotic proteins. Major method...
158
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...