8132 search results - page 39 / 1627 » Dependability, Abstraction, and Programming |
APLAS
2010
ACM
14 years 6 months ago
2010
ACM
POPL
2011
ACM
14 years 21 days ago
2011
ACM
POPL
2011
ACM
14 years 21 days ago
2011
ACM
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The problem of designing symmetric key cryptography algorithms based upon cellular automata (CAs) is considered. The reliability of the Vernam cipher used in the process ...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...