Prototyping a tool environment for run-time assertion checking in JML with communication histories

Boer, de, F.S.
Gouw, de, S.
Vinju, J.J.

Open link

Publication date

January 2010

DOI

10.1145/1924520.1924526

Publisher

Association for Computing Machinery, Inc

Abstract

In this paper we present prototype tool-support for the runtime assertion checking of the Java Modeling Language (JML) extended with communication histories specified by attribute grammars. Our tool suite integrates Rascal, a meta programming language and ANTLR, a popular parser generator. Rascal instantiates a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions

Extracted data

We use cookies to provide a better user experience.

Data Protection

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Abstract

Extracted data

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Abstract

Extracted data

Related items

Related items