6 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Lee Naish
This paper describes a simpler way for programmers to reason about the correctness of their code. The study of semantics of logic programs has shown strong links between the model…