Abstract: Pointers are a powerful and widely used programming mechanism, but developing and maintaining correct pointer programs is notoriously hard. Here we describe the CORE 1 system, which supports ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback