David Pearce

icon indicating a website link https://whileydave.com

icon company ConsenSys icon location New Zealand icon location Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

Results 1 repositories owned by David Pearce

DynamicTopologicalSort

16
Stars
4
Forks
Watchers

C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

verified publisher icon DavePearce