890 search results - page 110 / 178 » Programming language methods in computer security |
140
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
133
click to vote
ENTCS
2007
15 years 17 days ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
101
Voted
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...
131
click to vote
JMLR
2012
13 years 3 months ago
2012
We present the first PAC bounds for learning parameters of Conditional Random Fields [12] with general structures over discrete and real-valued variables. Our bounds apply to com...
79
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...