About this scholarly article

Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77 - Social processes and proofs of theorems and programs by DeMillo, Richard A.; Lipton, Richard J.; Perlis, Alan J. is a scholarly article available to read on EtoBox.

Author

DeMillo, Richard A.; Lipton, Richard J.; Perlis, Alan J.

Publisher

ACM Press

Published

1977

Language

EN