Sciweavers

933 search results - page 10 / 187
» Multi-paradigm Declarative Languages
Sort
View
SERVICES
2008
246views more  SERVICES 2008»
15 years 13 days ago
BioFlow: A Web-Based Declarative Workflow Language for Life Sciences
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
Hasan M. Jamil, Bilal El-Hajj-Diab
SPIN
2010
Springer
14 years 9 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
58
Voted
ICLP
2007
Springer
15 years 5 months ago
Multi-paradigm Declarative Languages
Michael Hanus
PPDP
2009
Springer
15 years 5 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
VLDB
2001
ACM
85views Database» more  VLDB 2001»
15 years 3 months ago
Declarative Data Cleaning: Language, Model, and Algorithms
Helena Galhardas, Daniela Florescu, Dennis Shasha,...