A Mechanically Certified Theorem About Optimal Concurrency of SortingNetworks

Authors:
Christian Lengauer;Chua Huang
Affiliations:
-;-
Venue:
A Mechanically Certified Theorem About Optimal Concurrency of SortingNetworks
Year:
1985

Citing 0
Cited 1

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

Quantified Score

Hi-index	0.01

Visualization

Abstract