4386 search results - page 22 / 878 » A Tamper-Resistant Programming Language System |
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
107
click to vote
ENTCS
2002
15 years 1 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
USENIX
2007
15 years 3 months ago
2007
USENIX
2007
15 years 3 months ago
2007
148
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...