Work

A Run-time Assertion Checker for Java using JML

Year: 2000

Type: article

Abstract: The Java Modeling Language (JML) is a behavioral interface specification language tailored for specifying Java modules. This paper describes a source-to-source translation tool that takes a JML specification and Java source code for a module and produces source code that checks assertions at run-time. It describes issues unique to JML, including specification-only variables, refinement, specification inheritance, and privacy. It also describes the design and implementation of the translation tool.

Source: Iowa State University Digital Repository (Iowa State University)

Author: Abhay Bhorkar

Institution: Iowa State University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: National Science Foundation

Award: Formal Methods for Multimethod Software Components

OpenAlex ID: W1553335919

FWCI: 7.55

Cites: 6

Cited by: 24

Related to: 10