200 search results - page 1 / 40 » Modular Reasoning in Object-Oriented Programming |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
ICFEM
2010
Springer
13 years 3 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...
LOPSTR
2007
Springer
13 years 11 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...
ICFP
1998
ACM
13 years 9 months ago
1998
ACM
POPL
2010
ACM
14 years 2 months ago
2010
ACM