Share and Export
Share and Export
Aiyankovil, Kuruvilla George, Monahan, Rosemary and O'Donoghue, Diarmuid (2021) Upcycling Formal Specifications for Similar Implementations with Arís. In: International Conference on Case-Based Reasoning (ICCBR), 13-16 September 2021, Salamanca, Spain.
Preview
DOD_upcycling.pdf
Download (408kB) | Preview
Abstract
We describe the Arís system for creating new formal specifications for
source code by transferring existing specifications to similar implementations.
We show the code graphs underlying its operation, graph matching supports retrieval, and pattern completion enables transfer of specifications to new implementations. A theorem prover formally verifies the new specifications.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | formal specifications; source code; graph representation; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute |
| Item ID: | 15751 |
| Depositing User: | Dr. Diarmuid O'Donoghue |
| Date Deposited: | 29 Mar 2022 15:16 |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mu.eprints-hosting.org/id/eprint/15751 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
