[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article
Free access

Algebra and models (and reality)

Published: 01 October 1994 Publication History
First page of PDF

References

[1]
[1] Processings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, Los Angeles CA (December, 1993) (ACM SIG-SOFT Software Engineering Notes, 18, 5).
[2]
[2] Hoare C. A. R., Algebra and models, Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, Los Angeles CA (December, 1993), 1-8.
[3]
[3] Gannon J. D., J. M. Purtilo and M. V. Zelkowitz, Software specifications: A comparison of formal methods, Ablex Publishing Corp., Norwood, NJ (1994).
[4]
[4] Hoare C. A. R., An axiomatic basis for computer programming, Communications of the ACM 12, 10 (1969) 576-583.
[5]
[5] DeMillo R., R. Lipton and A. Perlis, Social Processes and Proofs of Theorems and Programs, Communications of the ACM 22, 5, (May, 1979) 271-280.
[6]
[6] Gill S., The diagnosis of mistakes in programming on the EDSAC, Proc. of the Royal Society of London 206A (1951) 538.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 19, Issue 4
Oct. 1994
70 pages
ISSN:0163-5948
DOI:10.1145/190679
  • Editor:
  • Will Tracz
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1994
Published in SIGSOFT Volume 19, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)20
  • Downloads (Last 6 weeks)7
Reflects downloads up to 01 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media