On Algebra of Program Correctness and Incorrectness.

Bernhard Möller Peter W. O'Hearn Tony Hoare

Published in: RAMiCS (2021)

Keyphrases

computer programs
query language
databases
relational algebra
neural network
e learning
program execution
genetic algorithm
learning algorithm
website
data structure
video sequences
expert systems
static analysis
java programs
algebraic geometry