53 citations · 70 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2016★ 14 cited
Programming Language Features for Refinement
Jason Koenig, K. Rustan M. Leino
Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program…
cs.PL2014★ 53 cited
The Dafny Integrated Development Environment
K. Rustan M. Leino, Valentin Wüstholz
In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the nee…
cs.PL2004★ 3 cited
On computing the fixpoint of a set of boolean equations
Viktor Kuncak, K. Rustan M. Leino
This paper presents a method for computing a least fixpoint of a system of equations over booleans. The resulting computation can be significantly shorter than the result of iterat…