most citedMaking Sense of Word Embeddings

15 citations · 15 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2015

Realization and Extension of Abstract Operation Contracts for Program Logic

Maria Pelevina

For engineering software with formal correctness proofs it is crucial that proofs can be efficiently reused in case the software or its specification is changed. Unfortunately, in…