Search and Imperative Programming

Publication
Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-97)

Related