@inproceedings{DeGouw2010,
  title = {Prototyping a tool environment for run-time assertion checking in JML with Communication Histories},
  author = {Stijn de Gouw and Frank S. de Boer and Jurgen J.  Vinju},
  year = {2010},
  doi = {10.1145/1924520.1924526},
  url = {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},
}