2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Siva Somayyajula, Frank Pfenning
Type refinements combine the compositionality of typechecking with the expressivity of program logics, offering a synergistic approach to program verification. In this paper we app…