856 search results - page 49 / 172 » Dependent Types in Practical Programming |
EMNLP
2006
13 years 10 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...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
MICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...