19/01/2020

Incorrectness Logic

Peter O'Hearn

Keywords: none

Abstract Paper Similar Papers

Abstract: Program correctness and incorrectness are two sides of the same coin. As a programmer, even if you would like to have correctness, you might find yourself spending most of your time reasoning about incorrectness. This includes informal reasoning that people do while looking at or thinking about their code, as well as that supported by automated testing and static analysis tools. This paper describes a simple logic for program incorrectness which is, in a sense, the other side of the coin to Hoare’s logic of correctness.

 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at POPL 2020 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 16:29 
 0
 0
 0
 0
 15:41 
 0
 0
 0
 0
 15:00 
 0
 0
 0
 0
 14:33 
 0
 0
 0
 0
 11:56 
 0
 0
 0
 0
 16:04 
 0
 0
 0
 0
 16:16 
 0
 0
 0
 0
 14:59 
 0
 0
 0
 0
 24:00 
 0
 0
 0
 1
 17:16 
 0
 0
 0
 0
 14:33 
 0
 0
 0
 0
 21:21 
 0
 0
 0
 0
 14:58 
 0
 0
 0
 0
 10:41 
 0
 0
 0
 0
 5:33 
 0
 0
 0
 0
 15:14 
 0
 0
 0
 0
 9:06 
 0
 0
 0
 0
 24:57 
 0
 0
 0
 0
 12:42 
 0
 0
 0
 0
 15:28 
 0
 0
 0
 0
 19:40 
 0
 0
 0
 0
 14:20 
 0
 0
 0
 0
 15:11 
 0
 0
 0
 0
 19:55 
 0
 0
 0
 0
 14:45 
 0
 0
 0
 0
 13:39 
 0
 0
 0
 0
 15:43 
 0
 0
 0
 0
 16:59 
 0
 0
 0
 0
 12:11 
 0
 0
 0
 0
 5:10 
 0
 0
 0
 0
 14:25 
 0
 0
 0
 0
 6:27 
 0
 0
 0
 0
 11:18 
 0
 0
 0
 0
 19:42 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 19:39 
 0
 0
 0
 0
 4:34 
 0
 0
 0
 0
 16:04 
 0
 0
 0
 0
 10:56 
 0
 0
 0
 0
 4:27