2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…