1452 search results - page 171 / 291 » Algorithmic Analysis of Array-Accessing Programs |
93
Voted
ESSOS
2010
Springer
15 years 9 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
86
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
133
Voted
ACMMSP
2004
ACM
15 years 6 months ago
2004
ACM
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...
102
click to vote
ASE
2007
15 years 24 days ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
103
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...