1599 search results - page 293 / 320 » Program Analysis for Security and Privacy |
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
s Refactoring tools promise to increase the speed at which programmers write code, but programmers report that contemporary tools sometimes slow them down. Some of that slowdown ca...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...