The Boolean Logic of Set Sharing Analysis

Michael Codish, Harald Søndergaard. The Boolean Logic of Set Sharing Analysis. In Catuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings. Volume 1490 of Lecture Notes in Computer Science, pages 89-101, Springer, 1998. [doi]

Authors

Michael Codish

This author has not been identified. Look up 'Michael Codish' in Google

Harald Søndergaard

This author has not been identified. Look up 'Harald Søndergaard' in Google