6 search results - page 2 / 2 » Encoding Max-CSP into Partial Max-SAT |
ECOOP
2011
Springer
12 years 7 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...