4386 search results - page 386 / 878 » A Tamper-Resistant Programming Language System |
141
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
250
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
166
click to vote
CC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
151
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
111
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...