Social processes and proofs of theorems and programs

Authors:
Richard A. DeMillo;Richard J. Lipton;Alan J. Perlis
Affiliations:
Georgia Institute of Technology;Yale University;Yale University
Venue:
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1977

Citing 2
Cited 8

The art of computer programming, volume 1 (3rd ed.): fundamental algorithms

The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Algorithm 65: find

Communications of the ACM

Rigorous development using RAISE

SIGSOFT '91 Proceedings of the conference on Software for citical systems
Software Engineering Programs Are Not Computer Science Programs

IEEE Software
The elements of SETL style.

ACM '79 Proceedings of the 1979 annual conference
Syntax-Directed Amorphous Slicing

Automated Software Engineering
Guest Editors' Introduction: How Is Open Source Affecting Software Development?

IEEE Software
Should computer programs be verified?

ACM SIGSOFT Software Engineering Notes
A framework for web science

Foundations and Trends in Web Science
Certified software

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

Abstract