81 search results - page 1 / 17 » Functional translation of a calculus of capabilities |
76
Voted
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
94
Voted
FOSSACS
2012
Springer
13 years 6 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
86
Voted
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
67
Voted
COMPSEC
2010
14 years 7 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
78
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...