Quote: use meta-level compilation (MC) to easily check path invariants; simple description, complicated source of errors, maintained across all paths; e.g., for cache coherence

Quotation Skeleton

This paper is a case study in how … invariants. We use MC to find errors in … obey numerous "systems type" rules such as: (1) … paths; (3) buffers must be allocated before sending; … stack references are not allowed in some cases. … in a few words, but can cause many … code paths. As our results show, such manual … such errors in the program source. Many of … after the system has been running continuously for … [abstract] Further, the code to find such bugs … discovered during testing, would require several days of …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: meta-level compiler extensions pinpoints errors with 10-100 lines written in a few days; avoids complex errors

Related Topics

Topic: compiler error checking (16 items)
Topic: debugging by usage rules (40 items)
Topic: path expression (14 items)