Chua Huang;Christian Lengauer
-;-
A mechanically certified theorem about optimal concurrency of sorting networks
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages