publications:
- title: "Prototyping a tool environment for run-time assertion checking in JML with Communication Histories"
  author:
  - name: "Stijn de Gouw"
    link: "http://www.cwi.nl/en/people/2306"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  year: "2010"
  doi: "http://dx.doi.org/10.1145/1924520.1924526"
  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."
  links:
    doi: "http://dx.doi.org/10.1145/1924520.1924526"
  tags:
  - "rascal"
  - "programming languages"
  - "Java"
  - "attribute grammars"
  - "meta programming"
  - "generic programming"
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "language modeling"
  - "programming"
  - "history"
  - "Meta-Environment"
  - "parsing"
  - "meta-objects"
  - "grammar"
  researchr: "https://researchr.org/publication/DeGouw2010"
  cites: 0
  citedby: 0
  booktitle: "12th Workshop on  Formal Techniques for Java-like Programs"
  kind: "inproceedings"
  key: "DeGouw2010"