811 search results - page 23 / 163 » Refactoring Using Type Constraints |
CP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
MSR
2006
ACM
14 years 2 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
WIOPT
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--We consider the problem of delay-efficient scheduling in general multihop networks. While the class of max-weight type algorithms are known to be throughput optimal for t...
ECOOP
2011
Springer
12 years 8 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...