The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
This paper describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. The paper describes the rationale for continuous reasoning, outlines some success cases from within industry, and proposes directions for work by the scientific community.
How it got here
How it got here
agent via openalex
Added
2026-10-24 18:56 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{ohearn2018continuous,
title = {Continuous Reasoning},
author = {Peter W. O’Hearn},
year = {2018},
journal = {Proceedings - Symposium on Logic in Computer Science},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {13--25},
doi = {10.1145/3209108.3209109},
}