A Checkable Interface Language for Pointer-Based Structures

James R. Russell, Robert E. Strom, Daniel M. Yellin. A Checkable Interface Language for Pointer-Based Structures. In Workshop on Interface Definition Languages. pages 59-73, 1994.

Abstract

Abstract is missing.