A portable compiler-integrated approach to permanent checking

Abstract

Program checking is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyday development tools. To radically change the situation, we explore the integration of simple user-defined checks into the core of every development process: the compiler. The checks we… (More)
DOI: 10.1007/s10515-007-0022-4

Topics

1 Figure or Table

Cite this paper

@article{Volanschi2006APC, title={A portable compiler-integrated approach to permanent checking}, author={Eugen-Nicolae Volanschi}, journal={21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)}, year={2006}, pages={103-112} }