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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs (FTfJP'10), June 22, 2010, Maribor, Sloveania
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	6/1-7
ISBN (Print)	978-1-4503-0540-2
DOIs	https://doi.org/10.1145/1924520.1924526
Publication status	Published - 2010
Event	conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22 - Duration: 22 Jun 2010 → 22 Jun 2010

Conference

Conference	conference; 12th Workshop on Formal Techniques for Java-Like Programs; 2010-06-22; 2010-06-22
Period	22/06/10 → 22/06/10
Other	12th Workshop on Formal Techniques for Java-Like Programs

Access to Document

10.1145/1924520.1924526

Cite this

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 (pp. 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, pp. 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. p. 6/1-7.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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

Abstract

Conference

Access to Document

Fingerprint

Cite this