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.
Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames: Proof files
The work
| Authors | Jinting Bian; Hans-Dieter A. Hiep |
|---|---|
| Editors | |
| Type | misc |
| Year | 2022 |
| Citekey | bian2022reasoning |
Where it appeared
| Published in | Data Archiving and Networked Services (DANS) |
|---|---|
| Publisher | Zenodo |
Identifiers
| DOI | 10.5281/zenodo.6044345 |
|---|---|
| OpenAlex | W4213152241 |
Access
| Landing page | https://ir.cwi.nl/pub/33164 |
|---|---|
| Free full text | https://zenodo.org/records/6044345 |
Empty on purpose
| copy |
Related
| Distinct from | bian2021reasoning |
|---|---|
| Distinct from | bian2024reasoning |
| Distinct from | boer2022footprint |
Abstract
The project files for the article `Reasoning About Invariant Properties of Object-oriented Programs' . This file is for the dynamic frames approach. The archive contains: The bundled version of KeY, key-2.8.0-exe.jar. The java source code of the project. User-defined taclets that we need when we do the proof (DynamicFrame_rule.key) Proof files for our case study(block contract that contains assignable clause and operation contract for reachability predicate). The related video: https://doi.org/10.6084/m9.figshare.16782667.v1
Cite it as
@misc{bian2022reasoning,
title = {Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames: Proof files},
author = {Jinting Bian and Hans-Dieter A. Hiep},
year = {2022},
journal = {Data Archiving and Networked Services (DANS)},
publisher = {Zenodo},
doi = {10.5281/zenodo.6044345},
}
This record lives at https://refs.drheap.org/bian2022reasoning/ and will keep doing so.