2482 search results - page 206 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
121
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
108
click to vote
ERLANG
2004
ACM
15 years 6 months ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
102
click to vote
USS
2004
15 years 3 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
143
click to vote
ENTCS
2007
15 years 2 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
153
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, ...