4386 search results - page 405 / 878 » A Tamper-Resistant Programming Language System |
149
click to vote
ENTCS
2008
15 years 4 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
122
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
119
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
119
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
152
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...