Specifying and verifying heap space allocation with JML and ESC/Java2

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

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	74444
  Dates:	Date Event 2006 Published
  Subjects:	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