Ideal Models for Pointwise Relational and State-Free Imperative Programming

David A. Naumann. Ideal Models for Pointwise Relational and State-Free Imperative Programming. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 4-15, ACM, 2001.

Authors

David A. Naumann

This author has not been identified. Look up 'David A. Naumann' in Google