643 search results - page 82 / 129 » Semantic Determinism and Functional Logic Program Properties |
117
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
112
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
119
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
220
click to vote
GIS
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we follow the role-based access control (RBAC) approach and extend it to provide for the dynamic association of roles with users. In our framework, privileges assoc...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...