article

Free access

The proof of correctness wars

Author:

Robert L. GlassAuthors Info & Claims

Communications of the ACM, Volume 45, Issue 8

Pages 19 - 21

https://doi.org/10.1145/545151.545168

Published: 01 August 2002 Publication History

All formats PDF

Abstract

Whether mild or raging, wars about topics ranging from programming languages to methods of indentation are healthy for our field.

Cited By

View all

Washizaki HGuéhéneuc YKhomh F(2018)ProMeTAEmpirical Software Engineering10.1007/s10664-017-9592-323:4(2323-2358)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s10664-017-9592-3
Antinyan VStaron MSandberg A(2017)Evaluating code complexity triggers, use of complexity measures and the influence of code complexity on maintenance timeEmpirical Software Engineering10.1007/s10664-017-9508-222:6(3057-3087)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10664-017-9508-2
Colazo J(2015)The interplay among software volatility, complexity and development outcomesInternational Journal of Information Technology and Management10.1504/IJITM.2015.06846214:2/3(160-171)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1504/IJITM.2015.068462
Show More Cited By

Index Terms

The proof of correctness wars
1. Software and its engineering
  1. Software organization and properties
    1. Software functional properties
      1. Correctness
2. Theory of computation
  1. Logic
    1. Proof theory

Recommendations

Approximations, anomalies and "the proof of correctness wars"

We discuss approaches to establishing "correctness" and describe the usefulness of logic-based model checkers for producing better practical system designs. While we could develop techniques for "constructing correctness" in our theoretical behavioral-...
The Programming Language Wars: Questions and Responsibilities for the Programming Language Community
Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software

The discipline of computer science has a long and complicated history with computer programming languages. Historically, inventors have created language products for a wide variety of reasons, from attempts at making domain specific tasks easier or ...
Implementation Correctness Involving a Language with goto Statements

Two languages, one a simple structured programming language, the other a simple goto language, are defined. A denotational semantics is given for each language. An interpreter for the goto language is given and is proved correct with respect to the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 45, Issue 8

Evolving data mining into solutions for insights

August 2002

96 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/545151

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2002

Published in CACM Volume 45, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
3,844
Total Downloads

Downloads (Last 12 months)129
Downloads (Last 6 weeks)21

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Washizaki HGuéhéneuc YKhomh F(2018)ProMeTAEmpirical Software Engineering10.1007/s10664-017-9592-323:4(2323-2358)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s10664-017-9592-3
Antinyan VStaron MSandberg A(2017)Evaluating code complexity triggers, use of complexity measures and the influence of code complexity on maintenance timeEmpirical Software Engineering10.1007/s10664-017-9508-222:6(3057-3087)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10664-017-9508-2
Colazo J(2015)The interplay among software volatility, complexity and development outcomesInternational Journal of Information Technology and Management10.1504/IJITM.2015.06846214:2/3(160-171)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1504/IJITM.2015.068462
Tedre M(2014)Empirical Computer ScienceThe Science of Computing10.1201/b17764-17(187-214)Online publication date: 3-Dec-2014
https://doi.org/10.1201/b17764-17
Unterkalmsteiner MFeldt RGorschek T(2014)A taxonomy for requirements engineering and software test alignmentACM Transactions on Software Engineering and Methodology10.1145/252308823:2(1-38)Online publication date: 4-Apr-2014
https://dl.acm.org/doi/10.1145/2523088
Miller K(2011)Courageous ComputingIT Professional10.1109/MITP.2011.9613:6(12-13)Online publication date: 1-Nov-2011
https://dl.acm.org/doi/10.1109/MITP.2011.96
Midgley DMarks RKunchamwar D(2007)Building and assurance of agent-based models: An example and challenge to the fieldJournal of Business Research10.1016/j.jbusres.2007.02.00460:8(884-893)Online publication date: Aug-2007
https://doi.org/10.1016/j.jbusres.2007.02.004
Gabriel RGoldman R(2006)Conscientious softwareACM SIGPLAN Notices10.1145/1167515.116751041:10(433-450)Online publication date: 16-Oct-2006
https://dl.acm.org/doi/10.1145/1167515.1167510
Gabriel RGoldman RTarr PCook WBiddle RGabriel R(2006)Conscientious softwareProceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications10.1145/1167473.1167510(433-450)Online publication date: 23-Oct-2006
https://dl.acm.org/doi/10.1145/1167473.1167510
Fass L(2004)Approximations, anomalies and "the proof of correctness wars"ACM SIGSOFT Software Engineering Notes10.1145/979743.97975729:2(3-3)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1145/979743.979757
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Approximations, anomalies and "the proof of correctness wars"

The Programming Language Wars: Questions and Responsibilities for the Programming Language Community

Implementation Correctness Involving a Language with goto Statements

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations