Verifying Fail-Free Declarative Programs

Hanus, M

Hanus, M (reprint author), CAU Kiel, Inst Informat, Kiel, Germany.

PPDP'18: PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2018; ():

Abstract

Failed computations are a frequent problem in software system development. Some failures have external reasons (e.g., missing files) that can be caugh......

Full Text Link