Sciweavers

899 search results - page 98 / 180
» Implementing declarative overlays
Sort
View
SIGMOD
2009
ACM
141views Database» more  SIGMOD 2009»
14 years 8 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»
14 years 8 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
14 years 7 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»
14 years 2 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
14 years 2 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