176 search results - page 17 / 36 » Full Abstraction for Functional Languages with Control |
127
click to vote
LISP
2002
15 years 4 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
158
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
125
click to vote
TIC
1998
Springer
15 years 8 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
140
click to vote
LCR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Distributedobject middleware, suchas CORBA, hides systemand network-speci c characteristics of objects behind functional interface speci cations. This simpli es developme...
169
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...