Login | Register

Enhancements to the JML runtime assertion checker compiler


Enhancements to the JML runtime assertion checker compiler

Dai, Kui (2005) Enhancements to the JML runtime assertion checker compiler. Masters thesis, Concordia University.

[thumbnail of MR10284.pdf]
Text (application/pdf)
MR10284.pdf - Accepted Version


The Java Modeling Language (JML) is a Behavioral Interface Specification Language (BISL) that can be used to specify the behavior of Java modules. Several tools have been developed for JML, such as the JML (type) checker, JML Runtime Assertion Checker (RAC), ESC/Java2, LOOP and so on. The RAC can be used to translate JML specifications into Java code so that the specifications can be checked at run-time. In this thesis we describe how two recent enhancements to JML have been formally defined and implemented in the RAC. The RAC semantics (of the newly added functionality) is presented as a large-step operational semantics. An overview of the RAC design is given so as to provide a better understanding of the context in which the enhancements have been made. The main enhancement to be realized is the added support for arbitrary precision integers in JML specification expressions and model method bodies. We also present prototypical implementation of an alternate semantics for JML assertions that has only very recently been published.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Dai, Kui
Pagination:viii, 79 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Chalin, Patrice
Identification Number:LE 3 C66C67M 2005 D35
ID Code:8608
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:30
Last Modified:13 Jul 2020 20:04
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top