An Algorithm for Reducing Binary Branchings

Paul Caspi, Jean-Claude Fernandez, Alain Girault. An Algorithm for Reducing Binary Branchings. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Volume 1026 of Lecture Notes in Computer Science, pages 279-293, Springer, 1995.

Abstract

Abstract is missing.