Work

(Programs), Proofs and Refutations (and Tests and Mutants)

Year: 2024

Type: conference-paper

Abstract: This essay consists of an imaginary discussion among a group of students after a computer science class, that presents some problems of (and partial solutions to) fundamental issues of program correctness.

Source: ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)

DOI: 10.1145/3689492.3689810

Author: Alex Groce

Institution: Northern Arizona University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4403493206

FWCI:

Cites: 24

Cited by:

Related to: 10