4940 search results - page 418 / 988 » On the Complexity of Universal Programs |
165
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular con...
172
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
175
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
166
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
147
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...