3573 search results - page 47 / 715 » Reasoning about Codata |
187
click to vote
POPL
2006
ACM
15 years 11 months 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...
PODS
2007
ACM
15 years 11 months 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 ...
IEEEARES
2010
IEEE
15 years 5 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...