6 search results - page 2 / 2 » Encoding Max-CSP into Partial Max-SAT |
135
click to vote
ECOOP
2011
Springer
14 years 2 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...