• Formalising Graph Algorithms w...

Treffer: Formalising Graph Algorithms with Coinduction

Title:
Formalising Graph Algorithms with Coinduction
Authors:
Kidney, Donnacha Oisín, Wu, Nicolas
Source:
Proceedings of the ACM on Programming Languages. 9(POPL):1657-1686
Availability:
http://dl.acm.org/doi/10.1145/3704892
Database:
ACM Full-Text Collection