877 search results - page 104 / 176 » Structural Cut Elimination |
ECOOP
1992
Springer
13 years 11 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
3DIM
2001
IEEE
13 years 11 months ago
2001
IEEE
Due to its portability and great maneuverability, a handheld range sensor is a flexible solution or complement to efficiently digitize the 3-D shape for a wide variety of objects....
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
LREC
2010
13 years 9 months ago
2010
Folksonomies are unsystematic, unsophisticated collections of keywords associated by social bookmarking users to web content and, despite their inconsistency problems (typographic...