156 search results - page 27 / 32 » The GOQL Language and its Formal Specifications |
115
click to vote
SCP
2008
14 years 11 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
134
click to vote
CI
2000
14 years 11 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
103
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
113
click to vote
ETRICS
2006
15 years 3 months ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...