Mikhail Auguston. Assertion checker for the C programming language based on computations over event traces. In Mireille Ducassé, editor, Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000. 2000. [doi]
@inproceedings{Auguston00,
title = {Assertion checker for the C programming language based on computations over event traces},
author = {Mikhail Auguston},
year = {2000},
url = {http://arxiv.org/abs/cs.SE/0101007},
tags = {programming languages, rule-based, C++, programming},
researchr = {https://researchr.org/publication/Auguston00},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000},
editor = {Mireille Ducassé},
}