SIGACT (Paper Session)
Proceedings of the annual conference (ACM 76)
By George T. Ligler, Patrick C. Fischer, Patrick Fischer, Patrick Wang, Robert L. Probert, William C. Nylin
Issue Date:October 1976
These papers indicate the diversity of the theoretical area of computer science. The first explores programming language concepts in terms of Hoare's formal assignment axiom. The second is well described by its title. The third is a contribution to formal ...