Sciweavers

67 search results - page 14 / 14
» Digital solutions for inference rules in decision-supporting...
Sort
View
ICFP
2006
ACM
14 years 4 months ago
Extensible programming with first-class cases
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
Matthias Blume, Umut A. Acar, Wonseok Chae
ICDT
2010
ACM
205views Database» more  ICDT 2010»
13 years 9 months ago
On the Aggregation Problem for Synthesized Web Services
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...
Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu