Sciweavers

933 search results - page 13 / 187
» Multi-paradigm Declarative Languages
Sort
View
PAM
2012
Springer
13 years 6 months ago
A Sequence-Oriented Stream Warehouse Paradigm for Network Monitoring Applications
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...
Lukasz Golab, Theodore Johnson, Subhabrata Sen, Je...
WCFLP
2005
ACM
15 years 4 months ago
A declarative debugger of incorrect answers for constraint functional-logic programs
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
Rafael Caballero
SIGMOD
2011
ACM
204views Database» more  SIGMOD 2011»
14 years 1 months ago
Datalog and emerging applications: an interactive tutorial
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo
ICLP
2007
Springer
15 years 5 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
FLOPS
2008
Springer
15 years 17 days ago
Undoing Dynamic Typing (Declarative Pearl)
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
Nick Benton