1925 search results - page 88 / 385 » Dynamic Typing |
129
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
111
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
109
click to vote
ICDM
2003
IEEE
15 years 7 months ago
2003
IEEE
Clustering by document concepts is a powerful way of retrieving information from a large number of documents. This task in general does not make any assumption on the data distrib...
118
Voted
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
To defeat current commercial antivirus software, the virus developers are employing obfuscation techniques to create mutating viruses. The current antivirus software cannot handle...
130
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...