Search and Imperative Programming

Krzysztof R. Apt, Andrea Schaerf
January 1997
Cite
Type
Conference paper
Publication
Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-97)
alma hybrid languages