Generating Specifications for Recursive Methods by Abstracting Program States (Q5351877)
From MaRDI portal
scientific article; zbMATH DE number 6767258
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating Specifications for Recursive Methods by Abstracting Program States |
scientific article; zbMATH DE number 6767258 |
Statements
Generating Specifications for Recursive Methods by Abstracting Program States (English)
0 references
31 August 2017
0 references
program verification
0 references
abstract interpretation
0 references
specification generation
0 references
method contracts
0 references
recursion
0 references
