Parallel Lint

Karpov Andrey

13 Jun 2009CPOL

10.6K

The article describes a new direction in development of static code analyzers - verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".

We're sorry, but the article you are trying to view was deleted at 8 Jul 2010.

Please go to the C Table of Contents to view the list of available articles in this section.

Go to top