45 ms·

Here's the corresponding papers: CheckCell - https://people.cs.umass.edu/~emery/pubs/CheckCell-preprint-OOPSLA2014.pdf https://people.cs.umass.edu/~emery/pubs/

by bschne 7y ago

Here's the corresponding papers: CheckCell - https://people.cs.umass.edu/~emery/pubs/CheckCell-preprint-OOPSLA2014.pdf https://people.cs.umass.edu/~emery/pubs/CheckCell-preprint-O... ExceLint - https://arxiv.org/pdf/1901.11100.pdf https://arxiv.org/pdf/1901.11100.pdf