5451 search results - page 400 / 1091 » Typed Operational Semantics |
187
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
237
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
185
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
118
Voted
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
160
click to vote
DBSEC
2007
15 years 8 months ago
2007
Security and privacy concerns as well as legal considerations force many companies to encrypt the sensitive data in databases. However, storing the data in an encrypted format enta...