197 search results - page 13 / 40 » Reduction Semantics and Formal Analysis of Orc Programs |
119
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
179
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
119
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
149
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
116
Voted
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...