Quote: type and effect system and formal semantics for 'restrict' annotations; O(kn) constraint-based algorithm and O(n^2) inference algorithm

Quotation Skeleton

We give a type and effect system [ref] for checking that a 'restrict'-annotated program is correct with respect … We give a O(kn) constraint-based algorithm for verifying … We give a O(n^2) algorithm for 'restrict' inference … Section 3.2 sketches a precise, formal semantics of …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)