1059 search results - page 168 / 212 » Unification-Based Semantic Interpretation |
162
click to vote
POPL
2012
ACM
14 years 1 days ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
176
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
128
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
With the growing use of dynamic web content generated from relational databases, traditional caching solutions for throughput and latency improvements are ineffective. We describe...
168
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
141
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...