Correctness and Completeness of Programming Instructions for Traffic Circulation

&
Science and Engineering Ethics 27 (6):1-16 (2021)
  Copy   BIBTEX

Abstract

In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.

Categories

Keywords

Reprint years

DOI

10.1007/s11948-021-00350-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Validity and Correctness Before the OS: the Case of LEO I and LEO II.Giuseppe Primiero, Elisabetta Mori & Rabia Arif - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 15-47.
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings.Jan Grabowski, Pierre Lescanne & Wolfgang Wechler - 1989 - Springer Verlag.
Meta-programming in Logic Programming.Harvey Abramson & M. H. Rogers - 1989
Engel on doxastic correctness.Conor McHugh - 2017 - Synthese 194 (5):1451-1462.
Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.Roy Dyckhoff, Heinrich Herre & Peter Schroeder-Heister - 1996 - Springer Verlag.
Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
The use of semiotic resources in traffic policing: an exploration of genre structure and exchanges in traffic accident handling in China.Zhenhua Wang & Qijing Wu - 2021 - Semiotica 2021 (242):169-202.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Computation as Logic.René Lalement - 1993 - Prentice-Hall.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).
Programming or Problem Solving with Computers?Maciej M. Sysło - 2019 - Constructivist Foundations 14 (3):373-376.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Belief, Correctness and normativity.Davide Fassio - 2011 - Logique Et Analyse 54 (216):471.
Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989.Koichi Furukawa & Hozumi Tanaka - 1991 - Springer.

Analytics

Added to PP
2021-10-29

Downloads
28 (#568,347)

6 months
18 (#140,646)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Matteo Pascucci
Slovak Academy of Sciences
Daniela Vacek
Slovak Academy of Sciences

Citations of this work

The Incalculability of the Generated Text.Alžbeta Kuchtová - 2024 - Philosophy and Technology 37 (1):1-20.

Add more citations

References found in this work

Moral responsibility in collective contexts.Tracy Isaacs - 2011 - New York: Oxford University Press.
Collective responsibility.Jan Narveson - 2002 - The Journal of Ethics 6 (2):179-198.

View all 8 references / Add more references