Social Processes and Proofs of Theorems and Programs.

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

Published in: POPL (1977)

Keyphrases

computer programs
intermediate level
social interaction
social media
social networks
social context
answer sets
collective learning
knowledge creation
automatic programming
social behavior
primitive operations
equational theories
formal proofs
collective intelligence
knowledge sharing
process model
case study