335 citations · 833 across the 44 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
Proceedings of the Thirteenth International Workshop on Graph Computation Models
Reiko Heckel, Christopher M. Poskitt
This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 202…
cs.LO2021★ 4 cited
Incorrectness Logic for Graph Programs
Christopher M. Poskitt
Program logics typically reason about an over-approximation of program behaviour to prove the absence of bugs. Recently, program logics have been proposed that instead prove the pr…
cs.LO2014★ 22 cited
Verifying Monadic Second-Order Properties of Graph Programs
Christopher M. Poskitt, Detlef Plump
The core challenge in a Hoare- or Dijkstra-style proof system for graph programs is in defining a weakest liberal precondition construction with respect to a rule and a postconditi…