Specifying and verifying heap space allocation with JML and ESC/Java2
Tools
Atkey, Robert (2006) Specifying and verifying heap space allocation with JML and ESC/Java2. In: Formal Techniques for Java-like Programs, 2006-07-04 - 2006-07-04.
Preview |
Text.
Filename: Atkey_FTJP_2006_Specifying_and_verifying_heap_space_allocation_with_JML_and_ESC_Java2.pdf
Accepted Author Manuscript Download (174kB)| Preview |
Abstract
We examine JML’s support for specifying the heap space allocation of Java programs. In this report we restrict ourselves to specifying and verifying only allocation but not de-allocation. We identify some problems with with JML’s support and suggest alternatives. Also, we describe an implementation of heap space allocation verification in ESC/Java2. This implementation has been tested on small examples.
ORCID iDs
Atkey, Robert ORCID: https://orcid.org/0000-0002-4414-5047;-
-
Item type: Conference or Workshop Item(Paper) ID code: 74444 Dates: DateEvent2006PublishedSubjects: Science > Mathematics > Electronic computers. Computer science Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 29 Oct 2020 15:33 Last modified: 11 Nov 2024 17:02 URI: https://strathprints.strath.ac.uk/id/eprint/74444
CORE (COnnecting REpositories)