Uniform Ideals and Strictness Analysis

Christine Ernoult, Alan Mycroft. Uniform Ideals and Strictness Analysis. In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 47-59, Springer, 1991.

Abstract

Abstract is missing.