Write a Blog >>
Thu 23 Jan 2020 16:18 - 16:40 at Ile de France II (IDF II) - Program Logics Chair(s): Chung-Kil Hur

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 logic for program incorrectness which is, in a sense, the the other side of the coin to Hoare’s logic of correctness.

Thu 23 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

15:35 - 16:40: Research Papers - Program Logics at Ile de France II (IDF II)
Chair(s): Chung-Kil HurSeoul National University
POPL-2020-Research-Papers15:35 - 15:56
Martin ClochardETH Zürich, Claude MarchéInria Saclay & Université Paris-Saclay, Andrei PaskevichLRI, Université Paris-Sud & CNRS
Link to publication DOI Media Attached
POPL-2020-Research-Papers15:56 - 16:18
Kenji MaillardInria Nantes & University of Chile, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Antoine Van MuylderInria Paris and Paris 7
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers16:18 - 16:40
Link to publication DOI Media Attached