2106 search results - page 379 / 422 » Operational Semantics for DyLPs |
170
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
166
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
150
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
146
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
156
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...