5451 search results - page 104 / 1091 » Typed Operational Semantics |
115
Voted
ER
2006
Springer
15 years 7 months ago
2006
Springer
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...
117
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
148
Voted
ORDER
2011
14 years 10 months ago
2011
We prove a Hadwiger transversal type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the ord...
144
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
132
Voted
CPP
2011
14 years 3 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...