ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Technical correspondence
Full text PdfPdf (871 KB)
Source
Communications of the ACM archive
Volume 32 ,  Issue 4  (April 1989) table of contents
Pages: 506 - 512  
Year of Publication: 1989
ISSN:0001-0782
Author
CORPORATE Tech Correspondence
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 3,   Downloads (12 Months): 9,   Citation Count: 1
Additional Information:

references   cited by   index terms  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/63334.315936
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
Richard A. De Millo , Richard J. Lipton , Alan J. Perlis, Social processes and proofs of theorems and programs, Communications of the ACM, v.22 n.5, p.271-280, May 1979  [doi>10.1145/359104.359106]
2
James,H. Fetzer, Program verification: the very idea, Communications of the ACM, v.31 n.9, p.1048-1063, Sept. 1988  [doi>10.1145/48529.48530]
 
3
Lakatos, I. Proofs and Refutations. Cambridge Univ. Press., London, 1976.
 
4
Maurer, W.D. Letter to the Editor. Commun. ACM 22, 11 (Nov. 1979), 625-629.
1
Richard A. De Millo , Richard J. Lipton , Alan J. Perlis, Social processes and proofs of theorems and programs, Communications of the ACM, v.22 n.5, p.271-280, May 1979  [doi>10.1145/359104.359106]
1
Richard A. De Millo , Richard J. Lipton , Alan J. Perlis, Social processes and proofs of theorems and programs, Communications of the ACM, v.22 n.5, p.271-280, May 1979  [doi>10.1145/359104.359106]
2
James,H. Fetzer, Program verification: the very idea, Communications of the ACM, v.31 n.9, p.1048-1063, Sept. 1988  [doi>10.1145/48529.48530]

CITED BY
Bryan Kocher, President's letter, Communications of the ACM, v.32 n.8, p.917-ff., Aug. 1989

INDEX TERMS

Primary Classification:
  A. General Literature


The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player