C-Patrol: Design and Usage


The C-patrol system is a simple but powerful CASE tool for C software systems. The heart of the proposed prototype is the labeled code system, a procedure-like mechanism that invokes blocks of code through a database-like associative system rather than through explicit procedure names. The C-patrol design resolves several diicult issues in enforcing object… (More)