Sciweavers

899 search results - page 98 / 180
» Implementing declarative overlays
Sort
View
SIGMOD
2009
ACM
141views Database» more  SIGMOD 2009»
15 years 10 months ago
FlexRecs: expressing and combining flexible recommendations
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...
Georgia Koutrika, Benjamin Bercovitz, Hector Garci...
SIGMOD
2006
ACM
94views Database» more  SIGMOD 2006»
15 years 10 months ago
Programming for XML
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
Daniela Florescu, Donald Kossmann
ICFP
2005
ACM
15 years 9 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 4 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
COORDINATION
2007
Springer
15 years 4 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali