1599 search results - page 280 / 320 » Program Analysis for Security and Privacy |
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
104
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
ICSEA
2006
IEEE
15 years 5 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...