2173 search results - page 348 / 435 » An operational semantics for skeletons |
EDBT
2008
ACM
14 years 10 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...
ICFP
2008
ACM
14 years 10 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...
ICFP
2002
ACM
14 years 10 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...
ICFP
2002
ACM
14 years 10 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 ...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...