1193 search results - page 203 / 239 » Database Query Languages and Functional Logic Programming |
102
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
202
click to vote
VLDB
2004
ACM
16 years 2 months ago
2004
ACM
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
115
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
114
click to vote
DEXA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
115
click to vote
OOPSLA
1989
Springer
15 years 6 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...