Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
Ideal models for pointwise relational and state-free imperative programming
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Hi-index | 0.00 |