3573 search results - page 47 / 715 » Reasoning about Codata |
188
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
209
Voted
POPL
2006
ACM
16 years 25 days ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
144
Voted
POPL
2004
ACM
16 years 25 days ago
2004
ACM
PODS
2007
ACM
16 years 19 days ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
100
click to vote
IEEEARES
2010
IEEE
15 years 7 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...