2623 search results - page 12 / 525 » Hoare Logic in the Abstract |
ICLP
1999
Springer
13 years 11 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
JELIA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
ASIAN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
GG
2010
Springer
13 years 8 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...