3481 search results - page 389 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
243
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
131
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
139
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
126
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
162
click to vote
ERCIMDL
2007
Springer
15 years 11 months ago
2007
Springer
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...