1016 search results - page 133 / 204 » Automatic Analysis of Programming Assignments |
119
Voted
POPL
2010
ACM
16 years 10 hour ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
117
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Metagenomics is the study of environmental samples using sequencing. Rapid advances in sequencing technology are fueling a vast increase in the number and scope of met...
142
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
107
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
102
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...