7124 search results - page 188 / 1425 » Programming Languages and Operating Systems |
163
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
166
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
167
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
321
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...