712 search results - page 72 / 143 » A Classification of Multi-Database Languages |
124
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
123
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
115
click to vote
LREC
2010
15 years 3 months ago
2010
This paper presents a novel system HENNA (Hybrid Person Name Analyzer) for identifying language origin and analyzing linguistic structures of person names. We conduct ME-based cla...
105
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
224
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...