Co-Developing Programs and Their Proof of Correctness.

Roderick Chapman Claire Dross Stuart Matthews Yannick Moy

Published in: Commun. ACM (2024)

Keyphrases

provably correct
imperative programs
data sets
databases
linear logic
machine learning
information systems
e learning
multiscale
query language
computer programs
natural deduction