Accusations in the context of computer programming

Authors

  • Jan Aldert Bergstra University of Amsterdam
  • Marcus Düwell Institute for Philosophy, Technical University of Darmstadt

DOI:

https://doi.org/10.36285/tm.69

Abstract

We imagine a minimal context where a programmer A serves as the provider of a program X for a user B. A survey is given of plausible promises and accusations in connection with the delivery and deployment of X. When X is used, various problems may arise. The focus of the paper is on the role of accusations which may plausibly arise in various scenarios. We discuss different accusation patterns that may occur outside informatics and see whether such patterns may appear in the context of programming as well.

Downloads

Published

2022-10-03

How to Cite

Bergstra, J. A., & Düwell, M. (2022). Accusations in the context of computer programming. Transmathematica. https://doi.org/10.36285/tm.69

Issue

Section

Primary Article