Assigning meaning to programs,” in Mathematical Aspects of Computer Science (0)

by R Floyd
Venue:of Proceedings of Symposia in Applied Mathematics