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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Pagina's6/1-7
ISBN van geprinte versie978-1-4503-0540-2
DOI's
StatusGepubliceerd - 2010
Evenementconference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22 -
Duur: 22 jun 201022 jun 2010

Congres

Congresconference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22
Periode22/06/1022/06/10
Ander12th Workshop on Formal Techniques for Java-Like Programs

Vingerafdruk Duik in de onderzoeksthema's van 'Prototyping a tool environment for run-time assertion checking in JML with communication histories'. Samen vormen ze een unieke vingerafdruk.

Citeer dit