Algorithms: Correctness and Complexity (Engi-6892) 2017

Useful Links

Incompuability problems

Intractible problems

Graph Search

 

Complexity

Recursive descent parsing

Proof outline logic

Dafny

Design by contract

Dynamic checking

Static checking

 

(c) Theodore Norvell