2135 search results - page 50 / 427 » An Operational Semantics for JavaScript |
ICMCS
1994
IEEE
13 years 12 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
SIGCOMM
1994
ACM
13 years 12 months ago
1994
ACM
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...