The B-book: assigning programs to meanings
No author records on this work.
The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Links
Topics
| Logic, programming, and type systems | Computer Science |
| Software Engineering Research | Computer Science |
| Advanced Software Engineering Methodologies | Computer Science |
Is this record sound?
suspect
Several fields of this record are missing or contradict each other. Treat its figures with suspicion — it is shown unaltered because correcting a source's record silently is worse than showing you the problem.
- weakensThe source lists no authors for this work at all, so there is nobody to attribute it to and it appears on no author page.
- weakensNo references are recorded despite 2,132 citations. A paper this heavily cited did not cite nothing, so the record is incomplete.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 6e314d9c6052d1ed…