Current Search: Higher Order Methods -- OpenJML -- Model Program Specifications -- Refining Statements (x)
-
-
Title
-
Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications.
-
Creator
-
Gurramkonda, Sai Chandesh, Leavens, Gary, Turgut, Damla, Jha, Sumit Kumar, University of Central Florida
-
Abstract / Description
-
The Java Modeling Language (JML) describes the functional behavior of Java classes and methods using pre- and postconditions. However, standard pre- and postcondition specifications cannot verify calls to higher order methods (HOMs). JML uses model program specifications to reason about HOMs. This thesis describes the implementation of model programs in the OpenJML tool. The implementation includes parsing, type checking, and matching of model program specifications against the code.
-
Date Issued
-
2017
-
Identifier
-
CFE0006743, ucf:51831
-
Format
-
Document (PDF)
-
PURL
-
http://purl.flvc.org/ucf/fd/CFE0006743
