4386 search results - page 154 / 878 » A Tamper-Resistant Programming Language System |
120
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
111
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
128
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
120
click to vote
VEE
2009
ACM
15 years 8 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
150
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...