Usage of regularly arranged data structures to ensure memory safety for programs.
This paper presents novel programming technique that generalizes processing of cyclic data types. Using of this technique with reference counting guarantees memory safety for a particular program.