1477 search results - page 119 / 296 » Token flow control |
128
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
131
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
149
Voted
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
116
click to vote
SMALLTALK
2007
Springer
15 years 10 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
148
click to vote
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...