Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data

Christopher Colby. Determining Storage Properties of Sequential and Concurrent Programs with Assignment and Structured Data. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 64-81, Springer, 1995.

Abstract

Abstract is missing.