200 search results - page 1 / 40 » Modular Reasoning in Object-Oriented Programming |
80
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
123
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
129
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
81
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
120
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM