2482 search results - page 204 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
122
click to vote
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
125
click to vote
PADL
2012
Springer
13 years 10 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
104
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
143
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
116
Voted
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...