Adding relational abstraction to programming languages

David S. Wile. Adding relational abstraction to programming languages. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 128-139, ACM, 1990. [doi]

Abstract

Abstract is missing.