Social processes and proofs of theorems and programs

Full Text:

Pdf

Buy this Article

Authors:	Richard A. DeMillo	Georgia Institute of Technology
	Richard J. Lipton	Yale University
	Alan J. Perlis	Yale University

Published in:

· Proceeding

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

ACM New York, NY, USA ©1977
table of contents doi>10.1145/512950.512970

	1977 Article
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 31 · Citation Count: 8

Tools and Resources