Sciweavers

6554 search results - page 233 / 1311
» Constraint Logic Programming
Sort
View
149
Voted
ICLP
2005
Springer
16 years 16 days ago
Denotational Semantics Using Horn Concurrent Transaction Logic
Marcus Vinicius Santos
153
Voted
ICLP
1994
Springer
15 years 11 months ago
Entailment of Finite Domain Constraints
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
Björn Carlson, Mats Carlsson, Daniel Diaz
182
Voted
WWW
2007
ACM
16 years 7 months ago
A unified platform for data driven web applications with automatic client-server partitioning
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...
Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, ...