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

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

doi:10.1145/1924520.1924526

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

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

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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-2	Engels
Titel	Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania
Plaats van productie	New York
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	6/1-7
ISBN van geprinte versie	978-1-4503-0540-2
DOI's	https://doi.org/10.1145/1924520.1924526
Status	Gepubliceerd - 2010
Evenement	conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22 - Duur: 22 jun. 2010 → 22 jun. 2010

Congres

Congres	conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22
Periode	22/06/10 → 22/06/10
Ander	12th Workshop on Formal Techniques for Java-Like Programs

Toegang tot document

10.1145/1924520.1924526

Citeer dit

Boer, de, F. S., Gouw, de, S., & Vinju, J. J. (2010). Prototyping a tool environment for run-time assertion checking in JML with communication histories. In Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania (blz. 6/1-7). Association for Computing Machinery, Inc. https://doi.org/10.1145/1924520.1924526

@inproceedings{ea7336d948d0419cbb05b27818fa1039,

title = "Prototyping a tool environment for run-time assertion checking in JML with communication histories",

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.",

author = "{Boer, de}, F.S. and {Gouw, de}, S. and J.J. Vinju",

year = "2010",

doi = "10.1145/1924520.1924526",

language = "English",

isbn = "978-1-4503-0540-2",

pages = "6/1--7",

booktitle = "Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22 ; Conference date: 22-06-2010 Through 22-06-2010",

}

Boer, de, FS, Gouw, de, S & Vinju, JJ 2010, Prototyping a tool environment for run-time assertion checking in JML with communication histories. in Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania. Association for Computing Machinery, Inc, New York, blz. 6/1-7, conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22, 22/06/10. https://doi.org/10.1145/1924520.1924526

Prototyping a tool environment for run-time assertion checking in JML with communication histories. / Boer, de, F.S.; Gouw, de, S.; Vinju, J.J.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania. New York: Association for Computing Machinery, Inc, 2010. blz. 6/1-7.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

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

AU - Boer, de, F.S.

AU - Gouw, de, S.

AU - Vinju, J.J.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1145/1924520.1924526

DO - 10.1145/1924520.1924526

M3 - Conference contribution

SN - 978-1-4503-0540-2

SP - 6/1-7

BT - Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania

PB - Association for Computing Machinery, Inc

CY - New York

T2 - conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22

Y2 - 22 June 2010 through 22 June 2010

ER -

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

Samenvatting

Congres

Toegang tot document

Vingerafdruk

Citeer dit