672 search results - page 51 / 135 » On the Expressive Power of the Loop Language |
143
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
133
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
131
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
138
click to vote
AAAI
2004
15 years 6 months ago
2004
A logic of conditional preferences is defined, with a language which allows the compact representation of certain kinds of conditional preference statements, a semantics and a pro...
128
click to vote
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...