4386 search results - page 263 / 878 » A Tamper-Resistant Programming Language System |
119
Voted
TON
2012
13 years 5 months ago
2012
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
120
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
204
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
137
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...
103
click to vote
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...