Follow
Flash Sheridan
Title
Cited by
Cited by
Year
Practical testing of a C99 compiler using output comparison
F Sheridan
Software: Practice and Experience 37 (14), 1475-1488, 2007
512007
A Variant of Church’s Set Theory with a Universal Set in which the Singleton Function is a Set
F Sheridan
Logique et Analyse (abridged form; the full version is available at the …, 2016
142016
Deploying Static Analysis
F Sheridan
Dr Dobb's Journal, 2012
2*2012
A Naive View of the Russell Paradox
F Sheridan
arXiv preprint arXiv:2103.00090, 2021
12021
Fixing Frege’s Set Theory
F Sheridan
Talk (remote) at the University of Oxford Mathematical Institute and the …, 2013
12013
Static Analysis Deployment Pitfalls
F Sheridan
arXiv preprint arXiv:2202.13026, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–6