514 search results - page 28 / 103 » Read-Only Execution for Dynamic Languages |
136
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
98
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
115
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
102
Voted
ENTCS
2006
15 years 1 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
110
click to vote
PLDI
1996
ACM
15 years 6 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...